Control.Category.Object
class
HasTerminalObject
k t
class
HasInitialObject
k i