Context Navigation

Changes between Initial Version and Version 1 of Ticket #31241, comment 10

initial	v1
2	2	> I am a little hesitant to call it a bug because it still has that structure once it goes through the functor. The problem is the mutability and that you can make it leave the corresponding category. Now you could implement something specific that handles an instance of `Manifold`. Although I feel that getting something of this level of generality would be hard. I think you are probably better off implementing a mechanism in the `Manifold` class itself.
3	3
4		Agreed. Calling that, one could make a function in `OpenInterval` returning an element of `RealSet`.
	4	Agreed. Calling that, one could make a function in `OpenInterval` returning an element of `RealSet`. But wait, the forgetful functor to sets works differently, right?
5	5
6	6	The approach I had in mind is as simple as that: new instance of the desired kind and copy charts. Where do you think may problems occour?