6.12.5.1.6. Function category

The category of all functions.
Start python section to interscript/felix/model/funcat.py[6 /8 ] Next Prev Last
    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: 
End python section to interscript/felix/model/funcat.py[6]