category,construction
Circ,binary product
Circ,initial object
Circ,terminal object