Opened 19 months ago
Last modified 4 months ago
#31241 new enhancement
Forgetful Functors for Manifolds — at Version 6
Reported by: | gh-mjungmath | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.7 |
Component: | manifolds | Keywords: | |
Cc: | tscrim, egourgoulhon, mkoeppe | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
It would be nice to allow forgetful functors for manifolds. In particular:
- differentiable manifolds -> topological manifolds
- (Pseudo-)Riemannian manifolds -> differentiable manifolds
- topological manifolds -> sets (?)
and probably even more. The last point, if getting to work somehow, might also be useful and/or should be seen in view of #30832.
At the moment, we have the following behavior (which could be seen as a bug):
sage: from sage.categories.functor import ForgetfulFunctor sage: from sage.categories.manifolds import Manifolds sage: F = ForgetfulFunctor(Manifolds(RR).Differentiable(), Manifolds(RR).Topological()) sage: M = Manifold(2, 'M') sage: F(M) 2-dimensional differentiable manifold M
Change History (6)
comment:1 Changed 19 months ago by
- Description modified (diff)
comment:2 Changed 19 months ago by
- Description modified (diff)
comment:3 Changed 19 months ago by
- Description modified (diff)
comment:4 Changed 19 months ago by
- Cc tscrim egourgoulhon mkoeppe added
comment:5 Changed 19 months ago by
- Description modified (diff)
comment:6 Changed 19 months ago by
- Description modified (diff)
Note: See
TracTickets for help on using
tickets.