Definition talk:Quotient Mapping

Ambiguous definition
I need to make a definition of Quotient Mapping (Topology). I take it from Munkres' Topology book, and it can be seen online here. (I need it for some theorems about Jordan curves). I would be willing to put in the work of renaming this page to Quotient Mapping (Equivalence), creating a page here with links to the two definitions, and then change all the links that already refer to a quotient mapping. Is this something I can get permission to? --Anghel (talk) 22:21, 17 September 2022 (UTC)


 * I know this is contrary to the ProofWiki way of doing things, but I really counsel against renaming this to that. By all means implement Definition:Quotient Mapping (Topology) and explain its relation to the Quotient Topology, but subpage that into this first, so we can see where we're coming from, that's my advice. --prime mover (talk) 22:37, 17 September 2022 (UTC)


 * Excellent, that means less work for me. I'll create Definition:Quotient Mapping (Topology), and we will see later how it can be integrated into this page. As usual, thanks for the quick response. --Anghel (talk) 21:43, 18 September 2022 (UTC)