Changes between Initial Version and Version 1 of Ticket #10963, comment 443


Ignore:
Timestamp:
01/20/14 14:17:02 (6 years ago)
Author:
SimonKing
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10963, comment 443

    initial v1  
    7575this is what one should do?
    7676
    77 Next, there is two axioms that needs to hold for our category-with-axiom
     77Next, there are two axioms that need to hold for our category-with-axiom
    7878framework: Applying axioms is commutative, and applying axioms is
    7979idempotent. Hence, we need `As().B().C()==As().C().B()`. In other words,
     
    8181one of them (say, the one labelled "C") in order to specify a tree. In
    8282addition to that, you say that one has to do something special with
    83 `As().C().B`: It can not be a class axiom but should be a subcategory method
     83`As().C().B`: It can not be a class attribute but should be a subcategory method
    8484or so (I am still not buying why this is needed).
    8585