Zulip Chat Archive
Stream: maths
Topic: opens.map and opens.comap
Yury G. Kudryashov (Feb 09 2023 at 03:23):
Currently, we have docs#topological_space.opens.map and docs#topological_space.opens.comap. These are the same map bundled in different ways. How should we call them?
Kevin Buzzard (Feb 09 2023 at 07:33):
comap and comap'?
Yury G. Kudryashov (Feb 10 2023 at 07:21):
Which one is comap'?
Eric Wieser (Feb 10 2023 at 14:39):
The category theory one?
Last updated: Dec 20 2023 at 11:08 UTC