#16340: Infrastructure for modelling full subcategories
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: categories | Resolution:
Keywords: full | Merged in:
subcategories, homset | Reviewers: Darij Grinberg,
Authors: Nicolas M. Thiéry | Travis Scrimshaw
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/categories/full_subcategories-16340|
60aa128d42ee140fb268423a924fd0e80aab7329
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tscrim):
I agree with reverting `PermtutationGroup` along with a warning or note
about (iso)morphisms (although like Coxeter groups, it is not currently
enforced AFAIK).
I don't have a strong opinion on what the method are named and the
proposed interface is fine with me.
I'm okay with the default for axioms not being structure categories.
However I'd rather have fuctorial construction categories being structure
categories by default (I believe currently we only have two, graded and
with-realizations, but the two I'd like to add, topological and metric,
have additional structure).
--
Ticket URL: <http://trac.sagemath.org/ticket/16340#comment:50>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
