Changes between Version 2 and Version 3 of Ticket #31241
- Timestamp:
- 01/14/21 17:04:41 (16 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #31241 – Description
v2 v3 1 1 It would be nice to allow forgetful functors for manifolds. In particular: 2 2 3 - differentiable manifold -> topological manifold4 - (Pseudo-)Riemannian manifold -> differentiable manifold5 - topological manifold -> sets (?)3 - differentiable manifolds -> topological manifolds 4 - (Pseudo-)Riemannian manifolds -> differentiable manifolds 5 - topological manifolds -> sets (?) 6 6 7 and probably even more. The last point, if working, might also be useful in terms of #30832.7 and probably even more. The last point, if getting to work somehow, might also be useful in terms of #30832. 8 8 9 9 At the moment, we have the following behavior (which could be seen as a bug):