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


Ignore:
Timestamp:
07/19/13 20:36:00 (7 years ago)
Author:
nthiery
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10963, comment 68

    initial v1  
    99> And you argued against this answer (because of having 2^4^ many additional "empty" categories in the list of all super categories). You seemed to be in favour of `Fields().Finite().super_categories() = [Category of fields, Category of finite enumerated sets]`.
    1010
    11 Yes and no: I indeed don't want all 2^4 potential categories. But I do
     11Yes and no: I indeed don't want all 2^4^ potential categories. But I do
    1212want those that are *implemented* in Sage. In the current state, we
    1313have no category implemented for finite commutative rings (in other