category,construction
FinGrp,equalizer
FinGrp,initial object
FinGrp,pullback
FinGrp,terminal object