6.12.3.1.4. Category with one arrow

class cat_one(cat_monoid): def __init__(self, unit): cat_monoid.__init__(self, unit) def is_arrow(self, arrow): return arrow == self.unit