Changes between Version 2 and Version 3 of Ticket #31241


Ignore:
Timestamp:
01/14/21 17:04:41 (11 months ago)
Author:
gh-mjungmath
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31241 – Description

    v2 v3  
    11It would be nice to allow forgetful functors for manifolds. In particular:
    22
    3 - differentiable manifold -> topological manifold
    4 - (Pseudo-)Riemannian manifold -> differentiable manifold
    5 - topological manifold -> sets (?)
     3- differentiable manifolds -> topological manifolds
     4- (Pseudo-)Riemannian manifolds -> differentiable manifolds
     5- topological manifolds -> sets (?)
    66
    7 and probably even more. The last point, if working, might also be useful in terms of #30832.
     7and probably even more. The last point, if getting to work somehow, might also be useful in terms of #30832.
    88
    99At the moment, we have the following behavior (which could be seen as a bug):