#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 pbruin):
Replying to [comment:50 tscrim]:
> 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).
It may be because I'm still misled by the terminology, but I'm afraid this
only increases my confusion about what functorial construction categories
are. In what sense do "topological" and "metric" have something to do
with modelling codomains of a collection of functors? (Of course
topological/metric spaces can be domains/codomains of functors, but I
don't think this is what Nicolas meant in comment:49).
To me "topological" and "metric" are examples of "extra structure", in the
sense that there are canonical functors (metric spaces) -> (topological
spaces) -> (sets). In the current Sage implementation/parlance, I guess
they would be regarded as examples of axioms.
--
Ticket URL: <http://trac.sagemath.org/ticket/16340#comment:52>
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.
