Changes between Initial Version and Version 1 of Ticket #31877, comment 18
 Timestamp:
 Jun 1, 2021, 12:46:56 AM (18 months ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #31877, comment 18
initial v1 3 3 By 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. 4 4 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.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 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.