On Tue, Aug 23, 2016 at 08:01:31AM -0700, Kwankyu Lee wrote:
> This is about so-called categories with axioms. Right? I think
> ".Finite().Enumerated()" is a nice construct. But this seems not
> implemented yet... Am I right?
This does not work because "Enumerated" is not an axiom (maybe it
should be; there are pros and cons). Anyway if you have a category,
and want to build the subcategory of objects that are also enumerated
(and possibly finite), you can do:
sage: C = Groups(); C
Category of groups
sage: D = C & EnumeratedSets()
Join of Category of groups and Category of enumerated sets
sage: D.Finite()
Join of Category of finite groups and Category of finite enumerated sets
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
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.
