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


Ignore:
Timestamp:
07/18/13 08:49:34 (7 years ago)
Author:
SimonKing
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10963, comment 58

    initial v1  
    22> After all, creating the join of a list of categories should be more complicated then adding a list of "axiom categories" (such as `Magmas().Commutative()` and `Magmas().Division()` and `Sets().Finite()`) to a given category (such as `Rings()`).
    33
    4 Or perhaps rather `Rngs().Division()`, because we ask for inverses for all non-zero elements, hence `Division()` requires a category that has a notion of a zero and is at the same time a magma.
     4Or perhaps rather `Rngs().Division()`, because we ask for inverses for all non-zero elements, hence `Division()` requires a category that has a notion of a zero and is at the same time a multiplicative monoid.