Changes between Initial Version and Version 1 of Ticket #10963, comment 58
 Timestamp:
 07/18/13 08:49:34 (9 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #10963, comment 58
initial v1 2 2 > 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()`). 3 3 4 Or perhaps rather `Rngs().Division()`, because we ask for inverses for all nonzero elements, hence `Division()` requires a category that has a notion of a zero and is at the same time a m agma.4 Or perhaps rather `Rngs().Division()`, because we ask for inverses for all nonzero elements, hence `Division()` requires a category that has a notion of a zero and is at the same time a multiplicative monoid.