#18175: Implement categories for topological and metric spaces and related
categories
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: new
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: | 5796cbd4fd66bdad4df405a4942f47e9d9d9c69a
public/categories/topological_metric_spaces-18175| Stopgaps:
Dependencies: #18174 #17160 |
-------------------------------------+-------------------------------------
Comment (by jhpalmieri):
My professional opinion as a topologist is that a manifold should have a
well-defined dimension ''n'', and every point of that manifold should have
a neighborhood homeomorphic to '''R'''^''n''^. So even if it's not
connected, the different components should have the same dimension.
I think that more people would be unpleasantly surprised if we allowed
different components to have different dimensions than if we had the more
relaxed version. (There is no similar discomfort for CW complexes or
simplicial complexes: topologists are perfectly happy having a CW complex
with maximal cells of different dimensions.)
--
Ticket URL: <http://trac.sagemath.org/ticket/18175#comment:16>
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.
