Changes between Initial Version and Version 1 of Ticket #10963, comment 443
- Timestamp:
- 01/20/14 14:17:02 (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #10963, comment 443
initial v1 75 75 this is what one should do? 76 76 77 Next, there is two axioms that needsto hold for our category-with-axiom77 Next, there are two axioms that need to hold for our category-with-axiom 78 78 framework: Applying axioms is commutative, and applying axioms is 79 79 idempotent. Hence, we need `As().B().C()==As().C().B()`. In other words, … … 81 81 one of them (say, the one labelled "C") in order to specify a tree. In 82 82 addition to that, you say that one has to do something special with 83 `As().C().B`: It can not be a class a xiombut should be a subcategory method83 `As().C().B`: It can not be a class attribute but should be a subcategory method 84 84 or so (I am still not buying why this is needed). 85 85