Definition talk:Final Topology

In order to make the concept accessible, I wonder whether to include the "pushforward topology" as a separate page, and maybe also to include an example. It's possible to get it as it stands, but it needs considerable thought to knock it into mental shape. Thoughts? --prime mover (talk) 06:39, 14 October 2012 (UTC)


 * Good idea, IMO. Also, shouldn't the $f_*$ indicating pushforward be a $f^*$ (since it moves a structure on $Y$ to $X$, covariant with $f$)? --Lord_Farin (talk) 10:07, 15 October 2012 (UTC)


 * But in Definition:Pushforward Measure, it is written $f_* \mu$. --abcxyz (talk) 04:48, 16 October 2012 (UTC)


 * Disregard that; my mind was messed up yesterday. All is correct, the convention is as practiced. --Lord_Farin (talk) 06:12, 16 October 2012 (UTC)


 * Actually, we already have Definition:Identification Topology for that, as has recently been noted on the definition page. --abcxyz (talk) 23:22, 30 October 2012 (UTC)