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