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)