Changes between Initial Version and Version 1 of Ticket #31877, comment 18


Ignore:
Timestamp:
Jun 1, 2021, 12:46:56 AM (18 months ago)
Author:
Travis Scrimshaw
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31877, comment 18

    initial v1  
    33By being in the category of topological spaces, you are stating there is a preferred topology. This is akin to the `WithBasis` category saying there is a distinguished basis. This is why `TopologicalSpaces` is constructed as a functor construction category.
    44
    5 For the manifold code, while it is dynamic, each manifold is not meant to be treated as something that can change. So if you go from differentiable to topological, you are actually constructing a different object because the maximal atlas is different. We just may not have provided enough information yet to see that difference.
     5For the manifold code, while it is dynamic, each manifold is not meant to be treated as something that can change. So if you go from differentiable to topological, you either are actually constructing a different object because the maximal atlas is different or it has the same maximal atlas and you still require the maps to be differentiable. We just may not have provided enough information yet to see that difference.