Changes between Version 2 and Version 3 of Ticket #31877, comment 15
- Timestamp:
- 05/31/21 08:43:56 (15 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #31877, comment 15
v2 v3 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. 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).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 just as set (what we clearly do with `RealSet` as the name indicates).