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 non-zero 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 non-zero elements, hence `Division()` requires a category that has a notion of a zero and is at the same time a multiplicative monoid.