Started implementation of pullback
Fixed bug in equality of morphisms.