removed duplicate definition
added two lemmas in precategories
finished pullbacks