category,construction
FinHilb,initial object
FinHilb,terminal object