[1-8] pullbacks from products+equalizers
[1-8] finished first part of pullback lemma
[1-8] fast proof of pullback lemma
[1-8] newpages instead of \item
[1-8] checkpoint on 1.8.7.2
[1-1] updated group-as-category