Changes between Version 1 and Version 2 of Ticket #31877, comment 15


Ignore:
Timestamp:
05/31/21 08:13:51 (12 months ago)
Author:
gh-mjungmath
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31877, comment 15

    v1 v2  
    11But 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.
    22
    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.
     3But 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).