#18175: Implement categories for topological and metric spaces and related
categories
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.8
Component: categories | Resolution:
Keywords: geometry, | Merged in:
topology, sd67 | Reviewers:
Authors: Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | e6076d2a41dbe5e3294c03a95e3e763e60d554ff
public/categories/topological_metric_spaces-18175| Stopgaps:
Dependencies: #18174 #17160 |
-------------------------------------+-------------------------------------
Comment (by tscrim):
So then you'd do the diagram in comment:28, in contrast to your statement
in comment:30? Or did you mean something different in comment:30? I can
also make it so the hierarchy is dynamic, in that if '''k''' has
characteristic p, then analytic does not imply smooth. The category
hierarchy does not have to be static (for the record, these are not
subclasses, but subcategories in the mathematical sense).
I don't really care what the final hierarchy looks like, but I want it to
be as mathematically correct as possible and you (and Michal) and Basile
agree. (Although I do have a bias towards making things as general as
possible.)
As far as making them be axioms vs singleton categories, this is more of
an implementation detail.
--
Ticket URL: <http://trac.sagemath.org/ticket/18175#comment:37>
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.
