60: #line 97 "felix_func.ipk" 61: class cat_function(category): 62: def is_arrow(self, f): return isinstance(f, function) 63: def is_object(self, f): return isinstance(f, identity) 64: def compose(self, left, right): return left&right 65: def domain(self, arrow): return identity() 66: def codomain(self, arrow): return identity() 67: 68: