is localization of category of categories equivalent to |Cat| - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T15:08:05Z http://mathoverflow.net/feeds/question/10010 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/10010/is-localization-of-category-of-categories-equivalent-to-cat is localization of category of categories equivalent to |Cat| Shizhuo Zhang 2009-12-29T08:34:54Z 2010-05-18T03:32:33Z <p>It might be a stupid question. Suppose There is a category of categories,denoted by CAT,where objects are categories, morpshims are functors between categories</p> <p>Take multiplicative system S={category equivalences}. Then we take localization at S. Then we get localized category S^(-1)CAT </p> <p>Another Category, denoted by |CAT|,where objects are categories, morphism are isomorphism classes of functors between categories. </p> <p>I want to prove this two categories are equivalent. I want to prove this problem in two ways:</p> <ol> <li><p>Naive prove Because either |CAT| or S^(-1)CAT has same objects as CAT. So one can prove the morphism class of these two category has same equivalent relationship. For the S^(-1)Cat, suppose F and G are two functors in the same equivalent class, we have sF=sG,for s belongs to S. Then I can prove F and G belongs to the same equivalent class in |CAT|. But on the other hand, if F and G are isomorphic functor. I can not prove sF=sG,for some s belongs to S. What I can only prove is sF is isomorphic to sG.</p></li> <li><p>Using adjoint functors Because I want to prove the projection functor CAT--->|CAT| is a localization functor at S. So I want to construct an adjoint functor |CAT|--->CAT which is fully faithful. But what is this functor. It seems I can not make it well defined.</p></li> </ol> <p>This is an exercise in Toen's lecture: Lectures on DG-categories</p> <p>I attach the lecture notes on DG-categories here <a href="http://www.math.univ-toulouse.fr/~toen/swisk.pdf" rel="nofollow">Toen notes</a></p> <p>page 5,exercise 2</p> http://mathoverflow.net/questions/10010/is-localization-of-category-of-categories-equivalent-to-cat/10028#10028 Answer by Chris Schommer-Pries for is localization of category of categories equivalent to |Cat| Chris Schommer-Pries 2009-12-29T12:26:41Z 2009-12-29T16:29:32Z <p>There are set theoretic issues that will hinder any proof of this statement. In particular I don't believe you can construct the adjunction in part (2) without applying the axiom of choice to CAT, and it's not clear the localization S^(-1)CAT makes sense either.</p> <p>That said, let's ignore these issues and pretend that CAT is a <em>small</em> category of (small) categories. </p> <p>I was originally confused by this. I believe that there are some problems in the formulation of this question. In particular if S consists of those functors which are equivalences of categories, then it <strong>does not form a <a href="http://ncatlab.org/nlab/show/calculus+of+fractions" rel="nofollow">multiplicative system</a></strong>. Specifically, the right Ore condition fails. I'll give an example later. What this means though, is that the property your are trying to check in part (1) actually fails. To see this pick a group G and view it as a category with one object. Then the functors from H to H are the homomorphisms, and the equivalence classes of this functors are the orbits of Hom(H,H) under the conjugation action. Choose H such that there are distinct automorphisms of H which are equivalent under conjugation. </p> <p>Claim: If F,G: H --> H are two such automorphisms, then there is no equivalence s:H --> C such that sF = sG. I think this is easy to check, so I'll leave it at that.</p> <p>So the second part of (1) is impossible to prove. </p> <p>I first thought that we can answer this question be going to skeletal categories. This is not correct, but let's look at why it is not correct. Let SKEL be the full subcategory of CAT consisting of the <a href="http://ncatlab.org/nlab/show/skeleton" rel="nofollow">Skeletal categories</a>, i.e. those categories in which $a \cong b$ implies $a = b$, i.e. those categories which have a single object in each isomorphism class. </p> <p>Every object in CAT is equivalent to one in SKEL. This is an easy exercise you should work out for yourself. By applying the axiom of choice to all of CAT we can construct an equivalence between CAT and SKEL, and in particular we have L: CAT ---> SKEL with an equivalence $C \cong L(C)$ for every category C.</p> <p>Notice that a functor between skeletal categories is an equivalence if and only if it is an isomorphism on the nose. So we are part way there. This made me think that SKEL was the localizing subcategory we were after.</p> <p>However two functors into a skeletal category can be naturally isomorphic without being equal. The group example above is actually an example of this. The functors F and G are naturally isomorphic, but not equal. </p> <p>Let J denote the "Joyal interval", the category with two objects and an isomorphism between them. J can be used to say when two functors are naturally isomorphic. F,G: C --> D are nat. isomorphic if they extend to a functor $C \times J \to D$. There is a quotient of J where we identify the two objects. This is in fact the category Z (the group of integers viewed as a category). Let W be the set of morphisms consisting of the single morphism J --> Z. Notice that SKEL consists of exactly the "W-local" objects. But this is not quite what we want.</p> <p><hr /></p> <p>Okay, now for the rest. First, I promised an example where the right Ore condition fails. This is given by considering the two inclusions of pt into J. Both of these are equivalences, but this cannot be completed to an appropriate square. So the class of equivalences in not a multiplicative system.</p> <p>Next, Toen doesn't assume that S is a multiplicative system. He (correctly) defines the localization in terms of a (weak) universal property. Namely, there exists a locization functor:</p> <p>$L: CAT \to S^{-1}CAT$</p> <p>such that fro any other category D, $L^* : Fun( S^{-1}CAT, D) \to Fun(CAT, D)$ is fully-faithfull and the essential image consists of those functors which send elements of S to isomorphisms in D. In particular the quotient functor from CAT to |CAT| does this, so this gives us functor from S^(-1)CAT to |CAT| defined up to unique natural isomorphism.</p> <p>On the other hand, |CAT| is also defined by a universal property. This gives us maps between |CAT| and S^(-1)CAT and by the usual sort of general nonsense this is an equivalence. The details aren't too hard, so I'll leave them to you.</p> <p>Now the second part of your question asks about whether we can realize |CAT| as a full subcategory of CAT such that the quotient $q:CAT \to |CAT|$ is left adjoint to the inclusion. The answer is no. Let's first look at whether q can have a right adjoint at all and what this would mean. </p> <p>Suppose that R: |CAT| --> CAT is right adjoint to the quotient q. Be abuse, we will identify the objects of CAT and |CAT|. This means that for all categories X and Y we have:</p> <p>$CAT(X, R(Y)) = |CAT|(X, Y) = |CAT|(X \times J, Y) = CAT( X \times J, R(Y))$</p> <p>So $R(Y)$ must be cartesian local with respect to the map J --> pt. In particular we see, taking X=pt, that R(Y) has no non=identity automorphisms, i.e. R(Y) is rigid.</p> <p>Now let's look at an example. Consider the group Z viewed as a category with one object. Then the endomorphisms of Z in |CAT| is the monoid Z (under multiplication). Now if R is fully-faithful then we need:</p> <p>$\mathbb{Z} = |CAT| (\mathbb{Z}, \mathbb{Z}) = CAT (R(\mathbb{Z}), R(\mathbb{Z}))$</p> <p>but this last is equal to the automorphism of some set R(Z), hence we have a contradiction. So there is no such fully-faithful right adjoint.</p> http://mathoverflow.net/questions/10010/is-localization-of-category-of-categories-equivalent-to-cat/10043#10043 Answer by Reid Barton for is localization of category of categories equivalent to |Cat| Reid Barton 2009-12-29T16:17:24Z 2009-12-29T17:49:37Z <p>I'm pretty sure this is false. If I recall correctly, the localization S<sup>-1</sup>CAT you refer to is equivalent to the category of <em>rigid categories</em>, those with <em>no nonidentity isomorphisms at all</em>. In particular, the "rigid categorification" of any connected groupoid is the terminal category. On the other hand, the isomorphism classes of objects in |CAT| are equivalence classes of categories, so in |CAT| there are many nonisomorphic connected groupoids.</p> <p>I'll see if I can remember how to prove my claim about S<sup>-1</sup>CAT, or maybe you can prove it; I don't think it's very hard, and it uses the same kind of ideas Chris talked about in his answer.</p> <p><hr></p> <p>Oh, To&euml;n is using a different definition of "localization" than the one I am accustomed to (e.g., see Definition 5.2.7.2 and Warning 5.2.7.3 of <em>Higher Topos Theory</em>). Since Cat is a presentable category, I assumed you were taking the localization in presentable categories, which involves a category S<sup>-1</sup>Cat and an <em>adjunction</em> with left adjoint Cat &rarr; S<sup>-1</sup>Cat which has the analogous universal property with respect to adjunctions between presentable categories. In that case, S<sup>-1</sup>Cat turns out to be rigid categories and Chris explained why you might expect this to be true. (The homotopy category of Cat is presumably not a presentable category at all.)</p> <p>With S the class of equivalences of categories these localizations do not agree because S is not closed under pushouts in Cat: in the square</p> <pre><code>J -&gt; BZ | | v v * -&gt; * </code></pre> <p>the left-hand map is in S but the right-hand map is not and yet the square is, bizarrely, a pushout. (What makes things even trickier is the &infin;-categorical analogue of "S is closed under pushouts" is <em>true</em> because of course we must take homotopy pushouts. In short thinking of Cat as a 1-category and trying to work with equivalences there can lead to strange results!)</p> http://mathoverflow.net/questions/10010/is-localization-of-category-of-categories-equivalent-to-cat/25002#25002 Answer by David Roberts for is localization of category of categories equivalent to |Cat| David Roberts 2010-05-17T12:45:39Z 2010-05-17T12:45:39Z <p>One other way around the fact $S$ is not a multiplicative system is to use the approach of Dorette Pronk (in JPAA, 1996), namely looking at <em>bicategories</em> of fractions. Then one can show that the 2-category of small categories, functors and natural transformations, admits a bicategory of fractions with respect to the class $W$ of fully faithful, essentially surjective functors.</p> <p>This is rather boring (as arrow in $W$ have pseudoinverses in Cat) unless you don't have the axiom of choice, when not every arrow in $W$ has a pseudoinverse. This was the approach by Makkai in his paper 'Avoiding the axiom of choice in general category theory', even if he doesn't reference Pronk. Pronk doesn't consider this example as she is working with topological and algebraic groupoids.</p> http://mathoverflow.net/questions/10010/is-localization-of-category-of-categories-equivalent-to-cat/25086#25086 Answer by Daniel Schäppi for is localization of category of categories equivalent to |Cat| Daniel Schäppi 2010-05-18T03:32:33Z 2010-05-18T03:32:33Z <p>Bertrand Toën is using a different definition of localization than what you describe in your question. Let $\mathcal{C}$ be a category and let $\Sigma$ be a class of morphisms in $\mathcal{C}$. A category $\mathcal{D}$ with a functor $L\colon \mathcal{C} \rightarrow \mathcal{D}$ is called a <em>localization</em> of $\mathcal{C}$ at $\Sigma$ if $L(f)$ is an isomorphism for every $f \in \Sigma$, and $L$ is universal with this property, that is, whenever $F \colon \mathcal{C} \rightarrow \mathcal{E}$ is a functor such that $F(f)$ is an isomorphism for all $f\in \Sigma$, then there exists a unique functor $G \colon \mathcal{C} \rightarrow \mathcal{E}$ with $F=G \circ L$. If a localization of $\mathcal{C}$ at $\Sigma$ exists, then it is unique up to isomorphism and ususally denoted by $\Sigma^{-1}\mathcal{C}$ or $\mathcal{C}[\Sigma^{-1}]$.</p> <p>Note that we do not make any assumptions about the class $\Sigma$. As with all universal properties, such an object need not exist in the most general case: usually the resulting category might be "too big", that is, there would be a proper class of morphisms between certain objects in the localization. If the class $\Sigma$ admits a right calculus of fractions in the sense of (e.g.) Borceux, Handbook of Categorical Algebra, Volume I, Chapter 5, then the localization of $\mathcal{C}$ at $\Sigma$ <em>does</em> exist. However, there are lots of examples of categories with classes $\Sigma$ which do have a localization but don't admit a right calculus of fractions. In many of these cases, the functor $L \colon \mathcal{C} \rightarrow \mathcal{D}$ will then not have a right adjoint.</p> <p>One of the main sources of such categories are Quillen model categories $\mathcal{M}$, with $\Sigma$ the class of weak equivalences. The localization at $\Sigma$ is then called the <em>homotopy category</em> of $\mathcal{M}$. In fact, the notion of Quillen categories was invented mainly to deal with the difficulties of formally inverting a class of arrows in a category. There is a model structure on the category of small categories (sometimes called the <em>folk</em> model structure) whose weak equivalences are the equivalences of categories, so the desired localization <em>does</em> exist. Moreover, there is a notion of left and right homotopy in a model category. For nice objects (objects which are both <em>fibrant</em> and <em>cofibrant</em>), these notions agree and define an equivalence relation on maps. In the model category of categories, all objects are fibrant and cofibrant. Two functors are homotopic if and only if they are naturally isomorphic.</p> <p>The usual construction of the homotopy category of a model category (see e.g. Mark Hovey's book "Model Categories") shows that the localization of $\mathbf{Cat}$ at the equivalences is given by the category whose objects are again categories and whose morphisms are homotopy classes of morphisms. Thus we do indeed find that the localization of $\mathbf{Cat}$ at the class of equivalences is the category $\vert \mathbf{Cat} \vert$ of categories and isomorphism classes of functors, as Toën claimed.</p> <p>Charles Rezk has a nice writeup of the folk model structure <a href="http://www.math.uiuc.edu/~rezk/cat-ho.dvi" rel="nofollow">here</a>. </p>