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: