category,construction
FinSet,initial object
FinSet,pullback
FinSet,terminal object