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


Ignore:
Timestamp:
05/31/21 08:43:56 (15 months ago)
Author:
gh-mjungmath
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31877, comment 15

    v2 v3  
    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. 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).
     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 just as set (what we clearly do with `RealSet` as the name indicates).