Hi Nicolas, On 2016-08-28, Nicolas M. Thiery <nicolas.thi...@u-psud.fr> wrote: >> Alternatively: >> Category of enumerable X > > This one would be harder to implement (no different from the more > natural "Category of enumerated X"), as we would need to do something > specific for joins with an enumerated set.
If a category "knows" that it is implementing an axiom, then it should also know an adjective that decribes its axiom, and the _repr_ method of join categories could (I guess) relatively easily detect which of its axioms apply to what other categories, avoiding repititions. Hence, if you join the category of rings and the category of modules and apply "enumerated" and "commutative" axioms, the result would print as "join of category of enumerated modules and commutative rings" or so. But that's bike shedding, after all... Cheers, Simon -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
