Control.Categorical.Object

class HasTerminalObject k

class HasInitialObject k