6.12.6.2. Dual

The dual of a category is just the same category with all the arrows reversed.
Start python section to interscript/felix/model/cons.py[3 /6 ] Next Prev Last
    43: #line 58 "felix_cons.ipk"
    44: class cat_dual(category):
    45:   def __init__(self, arg):
    46:     self.arg = arg
    47: 
    48:   def is_arrow(self,arrow):
    49:     return self.arg.is_arrow(arrow)
    50: 
    51:   def is_object(self,object):
    52:     return self.arg.is_object(arrow)
    53: 
    54:   def can_compose(self, left, right):
    55:     return self.arg.can_compose(right, left)
    56: 
    57:   def compose(self, left, right):
    58:     return self.arg.compose(right, left)
    59: 
    60:   def domain(self, x):
    61:     return self.arg.codomain(x)
    62: 
    63:   def codomain(self, x):
    64:     return self.arg.domain(x)
    65: 
End python section to interscript/felix/model/cons.py[3]