Is there a category in which finite limits and directed colimits *don't* commute - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T22:28:13Z http://mathoverflow.net/feeds/question/153 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/153/is-there-a-category-in-which-finite-limits-and-directed-colimits-dont-commute Is there a category in which finite limits and directed colimits *don't* commute 20 questions 2009-10-06T22:04:16Z 2009-10-07T09:56:04Z <p><a href="http://math.berkeley.edu/~critch/" rel="nofollow">Andrew Critch</a> asks at the <a href="http://scratchpad.wikia.com/wiki/20qs" rel="nofollow">20-questions seminar</a>:</p> <p>In Set and AbGrp (the categories of sets and abelian groups, respectively), finite limits commute with directed colimits. As an example, if you're working with sheaves of sets, you can take kernels (a type of limit) and stalks (a type of directed colimit) safely.</p> <p>Is there an example of a category where they don't commute?</p> <p>(Depending on how you choose to talk about topoi, this condition is sometimes an axiom, capturing the idea of "looking sufficiently like sets".)</p> http://mathoverflow.net/questions/153/is-there-a-category-in-which-finite-limits-and-directed-colimits-dont-commute/160#160 Answer by Eric Wofsey for Is there a category in which finite limits and directed colimits *don't* commute Eric Wofsey 2009-10-06T23:23:36Z 2009-10-06T23:23:36Z <p>Consider the poset of closed subsets of [0,1]. Let a={0,1} and b(r)=[0,r] for r&lt;1. Then the (directed) colimit of the b(r) is b=[0,1], and the product (i.e., intersection) of b and a is a. However, the colimit of the products of the b(r) with a is {0}.</p> http://mathoverflow.net/questions/153/is-there-a-category-in-which-finite-limits-and-directed-colimits-dont-commute/169#169 Answer by Andrew Stacey for Is there a category in which finite limits and directed colimits *don't* commute Andrew Stacey 2009-10-07T09:56:04Z 2009-10-07T09:56:04Z <p>I'm hoping that I understand directed colimits and finite limits correctly. If I don't, I'll happily delete this answer.</p> <p>Here's an example that works for several categories: for example, Hausdorff topological spaces and (smooth) manifolds. Actually, in each we take the slice category of objects over the real line. Consider the coequaliser diagram of the two obvious inclusions ℝ∖{0} → ℝ⨿ℝ; each object here is viewed as a manifold over &#x0211D; in the obvious way. The coequaliser of this diagram in the category of manifolds over &#x0211D; is &#x0211D; (it ought to be &#x0211D; with a double point at 0, but then we take the Hausdorffification of that to get the real line itself). Now consider the product <em>in the slice category</em> of this diagram with the manifold {0}, viewed as a manifold over &#x0211D; with the obvious inclusion. The product with ℝ∖{0} is the empty set and the product with ℝ⨿ℝ is {0}⨿{0} so the coequaliser is just {0}⨿{0} again, but the product with &#x0211D; is just {0}.</p> <p>Note that this doesn't go away if you work with non-Hausdorff objects, so it would still work if we'd started with either topological spaces or non-Hausdorff manifolds. However, the difference isn't quite so stark for these so it's not so good an example. What you get in these cases is that the product with the coequaliser is {0}⨿{0} with the <em>indiscrete</em> topology and the coequaliser of the products is {0}⨿{0} with the <em>discrete</em> topology.</p> <p>(Full disclosure: this example is based on one taken from the page on <a href="http://ncatlab.org/nlab/show/Froelicher+space" rel="nofollow">Fr&ouml;licher spaces</a> on the n-lab which was written by ... er ... me. There it illustrates the fact that the category of Fr&ouml;licher spaces is not locally cartesian closed. Note that this is one of the requirements for a topos. The fact that this example works for <em>manifolds</em> shows that there is no topos in which the category of smooth manifolds embeds in such a way as to preserve both limits and colimits. But that's getting off-topic.)</p>