5: #line 11 "felix_stdcat2.ipk" 6: class cat_set(category): 7: def __init__(self, *args): self.elements = args 8: 9: def is_object(self, object): return object in self.elements 10: is_arrow = is_object 11: 12: def can_compose(self,left, right): return left == right 13: 14: def compose(self, left, right): return left 15: