Definition talk:Quotient Mapping

Ambiguous definition

I need to make a definition of Definition: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 Definition: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 $\mathsf{Pr} \infty \mathsf{fWiki}$ 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)

Further thoughts: looking at how this is going to pan out, I'm wondering whether we move Definition:Quotient Mapping to either Definition:Natural Mapping or Definition:Canonical Surjection (both currently implemented as redirects) and regain nomenclative integrity that way. Then we implement a warning page about terminology (we've done this before, there's precedent) and transclude it whenever it is needed. --prime mover (talk) 22:51, 18 September 2022 (UTC)

After more thought: I've put it to the main talk page. --prime mover (talk) 07:55, 19 September 2022 (UTC)