proved that the pullback of a monic is a monic
modified:   Categories.agda
renamed:    Categories.agda -> Pullbacks.agda (are you sure git?)
new file:   PullbacksLemmas.agda