Categories with products that preserve quotients - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T17:48:30Z http://mathoverflow.net/feeds/question/42888 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/42888/categories-with-products-that-preserve-quotients Categories with products that preserve quotients David Roberts 2010-10-20T09:53:15Z 2010-10-20T13:47:26Z <p>It is well known that in the category of all topological spaces, quotient maps aren't preserved by products (this follows from the simpler fact that $X\times (-):Top\to Top$ doesn't preserve quotients). The usual solution, if one is needed, is to change to the category of k-spaces and k-continuous maps. There are other categories where products and quotients 'get along' (e.g. $Set$, $Ab$). </p> <p>Question 1: What is a large class of categories where quotient maps are preserved by products? Topoi? (Semi)abelian categories? Categories of algebras for a monad on a given category with this property?</p> <p>Now one may be only interested in a certain class of quotient maps (like surjective submersions in $Diff$, the category of finite dimensional smooth manifolds). Say, regular epimorphisms, or maps admitting local sections (assuming we're in a site), or perhaps something like surjective topological submersions, where there are sections through every point in the domain. So in this case it is not a matter of putting restrictions on $X$ such that $X\times(-)$ preserves quotients, or changing the category, but narrowing the scope of the quotient maps one wants to preserve.</p> <p>Question 2: Is there are large class of quotient maps (in $Top$, or in a general category - with finite products and enough colimits) that <em>are</em> preserved by products?</p> http://mathoverflow.net/questions/42888/categories-with-products-that-preserve-quotients/42891#42891 Answer by Todd Trimble for Categories with products that preserve quotients Todd Trimble 2010-10-20T11:46:21Z 2010-10-20T13:47:26Z <p>Note: I have edited this answer further because I was being silly before (unnecessarily restrictive). </p> <p>I take it you mean categories $E$ for which $- \times -: E \times E \to E$ preserves quotients. The word 'quotient' may be slightly ambiguous because sometimes people use it to mean'coequalizer', and sometimes just 'epi' (as in 'quotient object'), but I take it you mean 'coequalizer'. </p> <p>A reasonably large class would be regular categories, which includes categories of algebras of monads on $Set$ and semi-abelian categories and toposes. Here quotients = regular epis are stable under pullback and in particular are closed under taking products on either side. Furthermore, in a regular category, every quotient is a <i>reflexive</i> coequalizer, meaning a coequalizer of a pair $f, g: X \to Y$ for which there exists $h: Y \to X$ with $f \circ h = g \circ h = 1_Y$. In particular, the two projections $\pi_1, \pi_2: E \to Y$ of an equivalence relation $E$ on $X$, for example the kernel pair of a quotient, form a reflexive pair by the reflexivity property. So in a regular category, where quotients = coequalizers are necessarily coequalizers of their kernel pairs, quotients are quotients of reflexive pairs. </p> <p>The reason reflexivity is relevant is a $3 \times 3$ lemma which says that in a (edit: commutative-in-parallel) diagram of $3 \times 3$ objects in which all rows and all columns are coequalizer diagrams of reflexive pairs, the diagonal is a coequalizer diagram. See the first page of Johnstone's Topos Theory. Then apply this lemma to the evident diagram whose rows are of the form </p> <p>$$X_i \times X_{1}' \stackrel{\to}{\to} X_i \times X_{2}' \to X_i \times X_{3}'$$ </p> <p>and whose columns are of the form </p> <p>$$X_1 \times X_{j}' \stackrel{\to}{\to} X_2 \times X_{j}' \to X_3 \times X_{j}'$$ </p> <p>In the category $Top$, it would therefore be natural to consider quotients by equivalence relations (or even just reflexive relations) which are preserved by taking products on each side. It's that latter condition which needs to be characterized (or at least discussed further), and I may come back to that later after I get the kids off to school. :-) </p> <p>Edit: For a discussion of topological quotients which are stable under taking a product on either side, see the paper by Day and Kelly, On topological quotient maps preserved by pullback or product, Math. Proc. Cam. Phil. Soc. 67 (1970), 553-558. Or google Day-Kelly maps to find out more. </p>