Changes between Version 1 and Version 2 of Ticket #31877, comment 15
- Timestamp:
- 05/31/21 08:13:51 (12 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #31877, comment 15
v1 v2 1 1 But I agree, for structures like rings, groups etc. this approach makes total sense. Though, I still don't understand why `ForgetfulFunctor` was introduced in the first place. 2 2 3 But for manifolds, things are slightly different. It would be good to have a functor that forgets about the topological structure, for example to impose another one. 3 But for manifolds, things are slightly different. It would be good to have a functor that forgets about the topological structure, for example to impose another one. Like I said, I don't like the idea of enforcing a preferred topology on a set if we see it as set (what we clearly do with `RealSet` as the name indicates).