#16340: Model full subcategories
----------------------------------------------+------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.3
Component: categories | Resolution:
Keywords: full subcategories, homset | Merged in:
Authors: Nicolas M. Thiéry | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
----------------------------------------------+------------------------
Comment (by darij):
Ideally, for every piece of algebraic structure there should be both a
full and a fully structure-aware subcategory. So there should be a
UnitalAlgebrasWithUnitalMorphisms and a
UnitalAlgebrasWithArbitraryMorphisms, etc.; more importantly, there should
be categories for graded modules with graded morphisms and with arbitrary
morphisms (I don't remember out of the hat which is the one we have) and
categories for modules-with-basis with basis-preserving morphisms and with
arbitrary morphisms etc.. This might not belong into this ticket, but
please make sure that your model takes this into account and does not
handle fullness as a hardcoded property of the relevant axiom / functorial
construct.
Other than this I like the proposal!
--
Ticket URL: <http://trac.sagemath.org/ticket/16340#comment:2>
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.
