What is the correct definition of localisation of a category?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
4
down vote

favorite












Disclaimer: I wasn't sure if this was an appropriate question for MathOverflow, and so I've also asked this on StackExchange.



There appears to be a discrepancy in the literature regarding the definition of a localisation of a category. Let $mathcalC$ be a category and let $S$ be a class of morphisms. The classical literature, for example Gabriel & Zisman, define a localisation of $mathcalC$ by $S$ as follows:



GZ1) A category $mathcalC[S^-1]$ along with a functor $Q: mathcalC longrightarrow mathcalC[S^-1]$ which makes the elements of $S$ isomorphisms.



GZ2) If a functor $F: mathcalC longrightarrow mathcalD$ makes the elements of $S$ isomorphisms, then there is a functor $G: mathcalC[S^-1] longrightarrow mathcalD$ such that $F$ factors through $Q$ in the sense that $F = G circ Q$. Moreover, $G$ is unique up to natural isomorphism.



Gabriel & Zisman then state the following lemma:



For each category $mathcalD$, the functor $$- circ Q: textFun(mathcalC[S^-1], mathcalD) longrightarrow textFun(mathcalC, mathcalD)$$
is an isomorphism of categories from $textFun(mathcalC[S^-1], mathcalD)$ to the full subcategory of $textFun(mathcalC, mathcalD)$ consisting of functors which make elements of $S$ invertible.



Gabriel & Zisman then claims that this lemma is just a restatement of the conditions GS1 and GS2 above in more precise terms.



On the other hand, Kashiwara & Shapira define a localisation of the category $mathcalC$ by $S$ as follows:



KS1) A category $mathcalC[S^-1]$ along with a functor $Q: mathcalC longrightarrow mathcalC[S^-1]$ which makes the elements of $S$ isomorphisms;



KS2) If a functor $F: mathcalC longrightarrow mathcalD$ makes the elements of $S$ isomorphisms, then there is a functor $G: mathcalC[S^-1] longrightarrow mathcalD$ such that $F$ factors through $Q$ in the sense that $F = G circ Q$.



KS3) If $G_1$ and $G_2$ are two objects of $textFun(mathcalC[S^-1], mathcalD)$, then the natural map
$$
- circ Q: textHom_textFun(mathcalC[S^-1], mathcalD)(G_1, G_2) longrightarrow textHom_textFun(mathcalC, mathcalD)(G_1 circ Q, G_2 circ Q)
$$

is a bijection.



However, Kashiwara & Shapira then make the claim that condition KS3 implies that the $G$ in KS2 is unique up to unique isomorphism.



These seem to be contradictory. Gabriel & Zisman claims that their definition makes $G$ unique up to isomorphism. Kashiwara & Shaipira claims that their definition makes $G$ unique up to unique isomorphism.



Ordinarily this wouldn't be a problem - obviously one is free to define your terms however you please. But on the face of it, it would appear that GZ1+GZ2 is equivalent to KS1+KS2+KS3, yet each text makes a different claim about the uniqueness of G. When I attempted to prove the uniqueness of G, I was able to show that it was unique up to isomorphism, but not that the isomorphism was unique as Kashiwara & Shapira claim. In fact, if $F$ has an automorphism besides the identity, then it would seem that there would necessarily be multiple distinct isomorphisms between $G_1$ and $G_2$.



This is something that I have seen in a number of other texts besides these two. And even worse, some texts seem to use one definition or the other in their proofs.



Am I just missing something and these are equivalent? Any clarification here is appreciated.



Thanks










share|cite|improve this question









New contributor




Luke is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.















  • 2




    The correct definition is the one of Kashiwara and Schapira. I'm assuming that Gabriel and Zisman simply mean unique up to unique automorphisms when they say unique up to isomorphisms (because uniqueness up to unique isomorphisms happen so often in category theory, that in a paper written by category theorist, a case of uniqueness up to non-unique isomorphism will always be explicitly mentioned and emphasized). Maybe in this special case it is possible to prove that uniqueness up to non unique isomorphisms is enough to get uniqueness of the iso... but I don't think it is not very useful.
    – Simon Henry
    1 hour ago















up vote
4
down vote

favorite












Disclaimer: I wasn't sure if this was an appropriate question for MathOverflow, and so I've also asked this on StackExchange.



There appears to be a discrepancy in the literature regarding the definition of a localisation of a category. Let $mathcalC$ be a category and let $S$ be a class of morphisms. The classical literature, for example Gabriel & Zisman, define a localisation of $mathcalC$ by $S$ as follows:



GZ1) A category $mathcalC[S^-1]$ along with a functor $Q: mathcalC longrightarrow mathcalC[S^-1]$ which makes the elements of $S$ isomorphisms.



GZ2) If a functor $F: mathcalC longrightarrow mathcalD$ makes the elements of $S$ isomorphisms, then there is a functor $G: mathcalC[S^-1] longrightarrow mathcalD$ such that $F$ factors through $Q$ in the sense that $F = G circ Q$. Moreover, $G$ is unique up to natural isomorphism.



Gabriel & Zisman then state the following lemma:



For each category $mathcalD$, the functor $$- circ Q: textFun(mathcalC[S^-1], mathcalD) longrightarrow textFun(mathcalC, mathcalD)$$
is an isomorphism of categories from $textFun(mathcalC[S^-1], mathcalD)$ to the full subcategory of $textFun(mathcalC, mathcalD)$ consisting of functors which make elements of $S$ invertible.



Gabriel & Zisman then claims that this lemma is just a restatement of the conditions GS1 and GS2 above in more precise terms.



On the other hand, Kashiwara & Shapira define a localisation of the category $mathcalC$ by $S$ as follows:



KS1) A category $mathcalC[S^-1]$ along with a functor $Q: mathcalC longrightarrow mathcalC[S^-1]$ which makes the elements of $S$ isomorphisms;



KS2) If a functor $F: mathcalC longrightarrow mathcalD$ makes the elements of $S$ isomorphisms, then there is a functor $G: mathcalC[S^-1] longrightarrow mathcalD$ such that $F$ factors through $Q$ in the sense that $F = G circ Q$.



KS3) If $G_1$ and $G_2$ are two objects of $textFun(mathcalC[S^-1], mathcalD)$, then the natural map
$$
- circ Q: textHom_textFun(mathcalC[S^-1], mathcalD)(G_1, G_2) longrightarrow textHom_textFun(mathcalC, mathcalD)(G_1 circ Q, G_2 circ Q)
$$

is a bijection.



However, Kashiwara & Shapira then make the claim that condition KS3 implies that the $G$ in KS2 is unique up to unique isomorphism.



These seem to be contradictory. Gabriel & Zisman claims that their definition makes $G$ unique up to isomorphism. Kashiwara & Shaipira claims that their definition makes $G$ unique up to unique isomorphism.



Ordinarily this wouldn't be a problem - obviously one is free to define your terms however you please. But on the face of it, it would appear that GZ1+GZ2 is equivalent to KS1+KS2+KS3, yet each text makes a different claim about the uniqueness of G. When I attempted to prove the uniqueness of G, I was able to show that it was unique up to isomorphism, but not that the isomorphism was unique as Kashiwara & Shapira claim. In fact, if $F$ has an automorphism besides the identity, then it would seem that there would necessarily be multiple distinct isomorphisms between $G_1$ and $G_2$.



This is something that I have seen in a number of other texts besides these two. And even worse, some texts seem to use one definition or the other in their proofs.



Am I just missing something and these are equivalent? Any clarification here is appreciated.



Thanks










share|cite|improve this question









New contributor




Luke is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.















  • 2




    The correct definition is the one of Kashiwara and Schapira. I'm assuming that Gabriel and Zisman simply mean unique up to unique automorphisms when they say unique up to isomorphisms (because uniqueness up to unique isomorphisms happen so often in category theory, that in a paper written by category theorist, a case of uniqueness up to non-unique isomorphism will always be explicitly mentioned and emphasized). Maybe in this special case it is possible to prove that uniqueness up to non unique isomorphisms is enough to get uniqueness of the iso... but I don't think it is not very useful.
    – Simon Henry
    1 hour ago













up vote
4
down vote

favorite









up vote
4
down vote

favorite











Disclaimer: I wasn't sure if this was an appropriate question for MathOverflow, and so I've also asked this on StackExchange.



There appears to be a discrepancy in the literature regarding the definition of a localisation of a category. Let $mathcalC$ be a category and let $S$ be a class of morphisms. The classical literature, for example Gabriel & Zisman, define a localisation of $mathcalC$ by $S$ as follows:



GZ1) A category $mathcalC[S^-1]$ along with a functor $Q: mathcalC longrightarrow mathcalC[S^-1]$ which makes the elements of $S$ isomorphisms.



GZ2) If a functor $F: mathcalC longrightarrow mathcalD$ makes the elements of $S$ isomorphisms, then there is a functor $G: mathcalC[S^-1] longrightarrow mathcalD$ such that $F$ factors through $Q$ in the sense that $F = G circ Q$. Moreover, $G$ is unique up to natural isomorphism.



Gabriel & Zisman then state the following lemma:



For each category $mathcalD$, the functor $$- circ Q: textFun(mathcalC[S^-1], mathcalD) longrightarrow textFun(mathcalC, mathcalD)$$
is an isomorphism of categories from $textFun(mathcalC[S^-1], mathcalD)$ to the full subcategory of $textFun(mathcalC, mathcalD)$ consisting of functors which make elements of $S$ invertible.



Gabriel & Zisman then claims that this lemma is just a restatement of the conditions GS1 and GS2 above in more precise terms.



On the other hand, Kashiwara & Shapira define a localisation of the category $mathcalC$ by $S$ as follows:



KS1) A category $mathcalC[S^-1]$ along with a functor $Q: mathcalC longrightarrow mathcalC[S^-1]$ which makes the elements of $S$ isomorphisms;



KS2) If a functor $F: mathcalC longrightarrow mathcalD$ makes the elements of $S$ isomorphisms, then there is a functor $G: mathcalC[S^-1] longrightarrow mathcalD$ such that $F$ factors through $Q$ in the sense that $F = G circ Q$.



KS3) If $G_1$ and $G_2$ are two objects of $textFun(mathcalC[S^-1], mathcalD)$, then the natural map
$$
- circ Q: textHom_textFun(mathcalC[S^-1], mathcalD)(G_1, G_2) longrightarrow textHom_textFun(mathcalC, mathcalD)(G_1 circ Q, G_2 circ Q)
$$

is a bijection.



However, Kashiwara & Shapira then make the claim that condition KS3 implies that the $G$ in KS2 is unique up to unique isomorphism.



These seem to be contradictory. Gabriel & Zisman claims that their definition makes $G$ unique up to isomorphism. Kashiwara & Shaipira claims that their definition makes $G$ unique up to unique isomorphism.



Ordinarily this wouldn't be a problem - obviously one is free to define your terms however you please. But on the face of it, it would appear that GZ1+GZ2 is equivalent to KS1+KS2+KS3, yet each text makes a different claim about the uniqueness of G. When I attempted to prove the uniqueness of G, I was able to show that it was unique up to isomorphism, but not that the isomorphism was unique as Kashiwara & Shapira claim. In fact, if $F$ has an automorphism besides the identity, then it would seem that there would necessarily be multiple distinct isomorphisms between $G_1$ and $G_2$.



This is something that I have seen in a number of other texts besides these two. And even worse, some texts seem to use one definition or the other in their proofs.



Am I just missing something and these are equivalent? Any clarification here is appreciated.



Thanks










share|cite|improve this question









New contributor




Luke is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











Disclaimer: I wasn't sure if this was an appropriate question for MathOverflow, and so I've also asked this on StackExchange.



There appears to be a discrepancy in the literature regarding the definition of a localisation of a category. Let $mathcalC$ be a category and let $S$ be a class of morphisms. The classical literature, for example Gabriel & Zisman, define a localisation of $mathcalC$ by $S$ as follows:



GZ1) A category $mathcalC[S^-1]$ along with a functor $Q: mathcalC longrightarrow mathcalC[S^-1]$ which makes the elements of $S$ isomorphisms.



GZ2) If a functor $F: mathcalC longrightarrow mathcalD$ makes the elements of $S$ isomorphisms, then there is a functor $G: mathcalC[S^-1] longrightarrow mathcalD$ such that $F$ factors through $Q$ in the sense that $F = G circ Q$. Moreover, $G$ is unique up to natural isomorphism.



Gabriel & Zisman then state the following lemma:



For each category $mathcalD$, the functor $$- circ Q: textFun(mathcalC[S^-1], mathcalD) longrightarrow textFun(mathcalC, mathcalD)$$
is an isomorphism of categories from $textFun(mathcalC[S^-1], mathcalD)$ to the full subcategory of $textFun(mathcalC, mathcalD)$ consisting of functors which make elements of $S$ invertible.



Gabriel & Zisman then claims that this lemma is just a restatement of the conditions GS1 and GS2 above in more precise terms.



On the other hand, Kashiwara & Shapira define a localisation of the category $mathcalC$ by $S$ as follows:



KS1) A category $mathcalC[S^-1]$ along with a functor $Q: mathcalC longrightarrow mathcalC[S^-1]$ which makes the elements of $S$ isomorphisms;



KS2) If a functor $F: mathcalC longrightarrow mathcalD$ makes the elements of $S$ isomorphisms, then there is a functor $G: mathcalC[S^-1] longrightarrow mathcalD$ such that $F$ factors through $Q$ in the sense that $F = G circ Q$.



KS3) If $G_1$ and $G_2$ are two objects of $textFun(mathcalC[S^-1], mathcalD)$, then the natural map
$$
- circ Q: textHom_textFun(mathcalC[S^-1], mathcalD)(G_1, G_2) longrightarrow textHom_textFun(mathcalC, mathcalD)(G_1 circ Q, G_2 circ Q)
$$

is a bijection.



However, Kashiwara & Shapira then make the claim that condition KS3 implies that the $G$ in KS2 is unique up to unique isomorphism.



These seem to be contradictory. Gabriel & Zisman claims that their definition makes $G$ unique up to isomorphism. Kashiwara & Shaipira claims that their definition makes $G$ unique up to unique isomorphism.



Ordinarily this wouldn't be a problem - obviously one is free to define your terms however you please. But on the face of it, it would appear that GZ1+GZ2 is equivalent to KS1+KS2+KS3, yet each text makes a different claim about the uniqueness of G. When I attempted to prove the uniqueness of G, I was able to show that it was unique up to isomorphism, but not that the isomorphism was unique as Kashiwara & Shapira claim. In fact, if $F$ has an automorphism besides the identity, then it would seem that there would necessarily be multiple distinct isomorphisms between $G_1$ and $G_2$.



This is something that I have seen in a number of other texts besides these two. And even worse, some texts seem to use one definition or the other in their proofs.



Am I just missing something and these are equivalent? Any clarification here is appreciated.



Thanks







ct.category-theory derived-categories localization universal-property






share|cite|improve this question









New contributor




Luke is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




Luke is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited 1 hour ago





















New contributor




Luke is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked 2 hours ago









Luke

1213




1213




New contributor




Luke is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





Luke is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






Luke is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







  • 2




    The correct definition is the one of Kashiwara and Schapira. I'm assuming that Gabriel and Zisman simply mean unique up to unique automorphisms when they say unique up to isomorphisms (because uniqueness up to unique isomorphisms happen so often in category theory, that in a paper written by category theorist, a case of uniqueness up to non-unique isomorphism will always be explicitly mentioned and emphasized). Maybe in this special case it is possible to prove that uniqueness up to non unique isomorphisms is enough to get uniqueness of the iso... but I don't think it is not very useful.
    – Simon Henry
    1 hour ago













  • 2




    The correct definition is the one of Kashiwara and Schapira. I'm assuming that Gabriel and Zisman simply mean unique up to unique automorphisms when they say unique up to isomorphisms (because uniqueness up to unique isomorphisms happen so often in category theory, that in a paper written by category theorist, a case of uniqueness up to non-unique isomorphism will always be explicitly mentioned and emphasized). Maybe in this special case it is possible to prove that uniqueness up to non unique isomorphisms is enough to get uniqueness of the iso... but I don't think it is not very useful.
    – Simon Henry
    1 hour ago








2




2




The correct definition is the one of Kashiwara and Schapira. I'm assuming that Gabriel and Zisman simply mean unique up to unique automorphisms when they say unique up to isomorphisms (because uniqueness up to unique isomorphisms happen so often in category theory, that in a paper written by category theorist, a case of uniqueness up to non-unique isomorphism will always be explicitly mentioned and emphasized). Maybe in this special case it is possible to prove that uniqueness up to non unique isomorphisms is enough to get uniqueness of the iso... but I don't think it is not very useful.
– Simon Henry
1 hour ago





The correct definition is the one of Kashiwara and Schapira. I'm assuming that Gabriel and Zisman simply mean unique up to unique automorphisms when they say unique up to isomorphisms (because uniqueness up to unique isomorphisms happen so often in category theory, that in a paper written by category theorist, a case of uniqueness up to non-unique isomorphism will always be explicitly mentioned and emphasized). Maybe in this special case it is possible to prove that uniqueness up to non unique isomorphisms is enough to get uniqueness of the iso... but I don't think it is not very useful.
– Simon Henry
1 hour ago











1 Answer
1






active

oldest

votes

















up vote
4
down vote













Actually, both of these definitions look weird to me.



I would say there are two natural ways to define the localization $C[S^-1]$ by a universal property, as follows. For any category $D$, let $rm Fun_S(C,D)$ denote the full subcategory of the functor category $rm Fun(C,D)$ spanned by those functors that send the morphisms in $S$ to isomorphisms. Let $Q:Cto C[S^-1]$ be a functor that sends the morphisms in $S$ to isomorphisms; then there is an induced functor $(-circ Q): rm Fun(C[S^-1],D) to rm Fun_S(C,D)$. I would say that $Q$ is a strict localization if this functor $(-circ Q)$ is an isomorphism of categories, and a weak localization if $(-circ Q)$ is an equivalence of categories.



If we unravel that, then being a strict localization means that



  1. For any functor $F:Cto D$ sending $S$-morphisms to isomorphisms, there exists a literally unique functor $G:C[S^-1]to D$ such that $F = Gcirc Q$, and

  2. condition KS3.

while being a weak localization means that



  1. For any functor $F:Cto D$ sending $S$-morphisms to isomorphisms, there exists some functor $G:C[S^-1]to D$ such that $F cong Gcirc Q$ (isomorphic, not equal!), and

  2. condition KS3.

The definition you quoted from KS lies somewhere in between these two: it asks only that $G$ exists rather than being unique, but it asks this $G$ to factor $F$ strictly. This corresponds to asking that the functor $(-circ Q)$ be a surjective-on-objects equivalence, which is a rather odd condition. (The nlab gives the "weak localization" definition.



Note that being a strict localization is the same as the lemma you quoted from GZ, but that it is actually strictly stronger than their definition as you quoted it: saying that $(-circ Q)$ is an isomorphism requires $G$ to be literally unique given $F$, not merely unique up to isomorphism. Moreover, the up-to-isomorphism GZ definition, as Simon says, is not "categorically correct", and should not be written as the definition of localization. (I believe that GZ were writing before questions such as the difference between isomorphism and equivalence of categories was widely appreciated, though, which may somewhat excuse this sloppiness.)



However, I believe that in this special case, it happens to be true that if a strict localization exists (which, in $rm Cat$, it always does), then any GZ-localization is equivalent to this strict localization. For applying both universal properties yields functors back and forth comparing the two localizations, which commute strictly with the localization functors from $C$. Then the second clauses of the two universal properties imply that both composites of these functors are isomorphic to identities, hence form an equivalence of categories. So if you "only care about determining categories up to equivalence", then the two definitions are in fact equivalent — but if you only care about determining categories up to equivalence, then you should really be using the definition of weak localization, since it is the only one that's invariant under replacing everything by something equivalent.



Regarding your problem with showing uniqueness of the isomorphism, note that "unique up to unique isomorphism" doesn't mean that there is a unique isomorphism $G_1cong G_2$ period, it means that there is a unique such isomorphism that commutes with all the other data. The latter condition removes any dependency on automorphisms of the input. For instance, a product object $Atimes B$ is unique up to unique isomorphism, even though any automorphism of $A$ or $B$ induces an automorphism of $Atimes B$: such nontrivial automorphisms don't commute with the projection maps. In the case of localization, the weak localization condition should be enough to show that there is a unique isomorphism that commutes with the other data.






share|cite|improve this answer




















    Your Answer




    StackExchange.ifUsing("editor", function ()
    return StackExchange.using("mathjaxEditing", function ()
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    );
    );
    , "mathjax-editing");

    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "504"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );






    Luke is a new contributor. Be nice, and check out our Code of Conduct.









     

    draft saved


    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f312118%2fwhat-is-the-correct-definition-of-localisation-of-a-category%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    4
    down vote













    Actually, both of these definitions look weird to me.



    I would say there are two natural ways to define the localization $C[S^-1]$ by a universal property, as follows. For any category $D$, let $rm Fun_S(C,D)$ denote the full subcategory of the functor category $rm Fun(C,D)$ spanned by those functors that send the morphisms in $S$ to isomorphisms. Let $Q:Cto C[S^-1]$ be a functor that sends the morphisms in $S$ to isomorphisms; then there is an induced functor $(-circ Q): rm Fun(C[S^-1],D) to rm Fun_S(C,D)$. I would say that $Q$ is a strict localization if this functor $(-circ Q)$ is an isomorphism of categories, and a weak localization if $(-circ Q)$ is an equivalence of categories.



    If we unravel that, then being a strict localization means that



    1. For any functor $F:Cto D$ sending $S$-morphisms to isomorphisms, there exists a literally unique functor $G:C[S^-1]to D$ such that $F = Gcirc Q$, and

    2. condition KS3.

    while being a weak localization means that



    1. For any functor $F:Cto D$ sending $S$-morphisms to isomorphisms, there exists some functor $G:C[S^-1]to D$ such that $F cong Gcirc Q$ (isomorphic, not equal!), and

    2. condition KS3.

    The definition you quoted from KS lies somewhere in between these two: it asks only that $G$ exists rather than being unique, but it asks this $G$ to factor $F$ strictly. This corresponds to asking that the functor $(-circ Q)$ be a surjective-on-objects equivalence, which is a rather odd condition. (The nlab gives the "weak localization" definition.



    Note that being a strict localization is the same as the lemma you quoted from GZ, but that it is actually strictly stronger than their definition as you quoted it: saying that $(-circ Q)$ is an isomorphism requires $G$ to be literally unique given $F$, not merely unique up to isomorphism. Moreover, the up-to-isomorphism GZ definition, as Simon says, is not "categorically correct", and should not be written as the definition of localization. (I believe that GZ were writing before questions such as the difference between isomorphism and equivalence of categories was widely appreciated, though, which may somewhat excuse this sloppiness.)



    However, I believe that in this special case, it happens to be true that if a strict localization exists (which, in $rm Cat$, it always does), then any GZ-localization is equivalent to this strict localization. For applying both universal properties yields functors back and forth comparing the two localizations, which commute strictly with the localization functors from $C$. Then the second clauses of the two universal properties imply that both composites of these functors are isomorphic to identities, hence form an equivalence of categories. So if you "only care about determining categories up to equivalence", then the two definitions are in fact equivalent — but if you only care about determining categories up to equivalence, then you should really be using the definition of weak localization, since it is the only one that's invariant under replacing everything by something equivalent.



    Regarding your problem with showing uniqueness of the isomorphism, note that "unique up to unique isomorphism" doesn't mean that there is a unique isomorphism $G_1cong G_2$ period, it means that there is a unique such isomorphism that commutes with all the other data. The latter condition removes any dependency on automorphisms of the input. For instance, a product object $Atimes B$ is unique up to unique isomorphism, even though any automorphism of $A$ or $B$ induces an automorphism of $Atimes B$: such nontrivial automorphisms don't commute with the projection maps. In the case of localization, the weak localization condition should be enough to show that there is a unique isomorphism that commutes with the other data.






    share|cite|improve this answer
























      up vote
      4
      down vote













      Actually, both of these definitions look weird to me.



      I would say there are two natural ways to define the localization $C[S^-1]$ by a universal property, as follows. For any category $D$, let $rm Fun_S(C,D)$ denote the full subcategory of the functor category $rm Fun(C,D)$ spanned by those functors that send the morphisms in $S$ to isomorphisms. Let $Q:Cto C[S^-1]$ be a functor that sends the morphisms in $S$ to isomorphisms; then there is an induced functor $(-circ Q): rm Fun(C[S^-1],D) to rm Fun_S(C,D)$. I would say that $Q$ is a strict localization if this functor $(-circ Q)$ is an isomorphism of categories, and a weak localization if $(-circ Q)$ is an equivalence of categories.



      If we unravel that, then being a strict localization means that



      1. For any functor $F:Cto D$ sending $S$-morphisms to isomorphisms, there exists a literally unique functor $G:C[S^-1]to D$ such that $F = Gcirc Q$, and

      2. condition KS3.

      while being a weak localization means that



      1. For any functor $F:Cto D$ sending $S$-morphisms to isomorphisms, there exists some functor $G:C[S^-1]to D$ such that $F cong Gcirc Q$ (isomorphic, not equal!), and

      2. condition KS3.

      The definition you quoted from KS lies somewhere in between these two: it asks only that $G$ exists rather than being unique, but it asks this $G$ to factor $F$ strictly. This corresponds to asking that the functor $(-circ Q)$ be a surjective-on-objects equivalence, which is a rather odd condition. (The nlab gives the "weak localization" definition.



      Note that being a strict localization is the same as the lemma you quoted from GZ, but that it is actually strictly stronger than their definition as you quoted it: saying that $(-circ Q)$ is an isomorphism requires $G$ to be literally unique given $F$, not merely unique up to isomorphism. Moreover, the up-to-isomorphism GZ definition, as Simon says, is not "categorically correct", and should not be written as the definition of localization. (I believe that GZ were writing before questions such as the difference between isomorphism and equivalence of categories was widely appreciated, though, which may somewhat excuse this sloppiness.)



      However, I believe that in this special case, it happens to be true that if a strict localization exists (which, in $rm Cat$, it always does), then any GZ-localization is equivalent to this strict localization. For applying both universal properties yields functors back and forth comparing the two localizations, which commute strictly with the localization functors from $C$. Then the second clauses of the two universal properties imply that both composites of these functors are isomorphic to identities, hence form an equivalence of categories. So if you "only care about determining categories up to equivalence", then the two definitions are in fact equivalent — but if you only care about determining categories up to equivalence, then you should really be using the definition of weak localization, since it is the only one that's invariant under replacing everything by something equivalent.



      Regarding your problem with showing uniqueness of the isomorphism, note that "unique up to unique isomorphism" doesn't mean that there is a unique isomorphism $G_1cong G_2$ period, it means that there is a unique such isomorphism that commutes with all the other data. The latter condition removes any dependency on automorphisms of the input. For instance, a product object $Atimes B$ is unique up to unique isomorphism, even though any automorphism of $A$ or $B$ induces an automorphism of $Atimes B$: such nontrivial automorphisms don't commute with the projection maps. In the case of localization, the weak localization condition should be enough to show that there is a unique isomorphism that commutes with the other data.






      share|cite|improve this answer






















        up vote
        4
        down vote










        up vote
        4
        down vote









        Actually, both of these definitions look weird to me.



        I would say there are two natural ways to define the localization $C[S^-1]$ by a universal property, as follows. For any category $D$, let $rm Fun_S(C,D)$ denote the full subcategory of the functor category $rm Fun(C,D)$ spanned by those functors that send the morphisms in $S$ to isomorphisms. Let $Q:Cto C[S^-1]$ be a functor that sends the morphisms in $S$ to isomorphisms; then there is an induced functor $(-circ Q): rm Fun(C[S^-1],D) to rm Fun_S(C,D)$. I would say that $Q$ is a strict localization if this functor $(-circ Q)$ is an isomorphism of categories, and a weak localization if $(-circ Q)$ is an equivalence of categories.



        If we unravel that, then being a strict localization means that



        1. For any functor $F:Cto D$ sending $S$-morphisms to isomorphisms, there exists a literally unique functor $G:C[S^-1]to D$ such that $F = Gcirc Q$, and

        2. condition KS3.

        while being a weak localization means that



        1. For any functor $F:Cto D$ sending $S$-morphisms to isomorphisms, there exists some functor $G:C[S^-1]to D$ such that $F cong Gcirc Q$ (isomorphic, not equal!), and

        2. condition KS3.

        The definition you quoted from KS lies somewhere in between these two: it asks only that $G$ exists rather than being unique, but it asks this $G$ to factor $F$ strictly. This corresponds to asking that the functor $(-circ Q)$ be a surjective-on-objects equivalence, which is a rather odd condition. (The nlab gives the "weak localization" definition.



        Note that being a strict localization is the same as the lemma you quoted from GZ, but that it is actually strictly stronger than their definition as you quoted it: saying that $(-circ Q)$ is an isomorphism requires $G$ to be literally unique given $F$, not merely unique up to isomorphism. Moreover, the up-to-isomorphism GZ definition, as Simon says, is not "categorically correct", and should not be written as the definition of localization. (I believe that GZ were writing before questions such as the difference between isomorphism and equivalence of categories was widely appreciated, though, which may somewhat excuse this sloppiness.)



        However, I believe that in this special case, it happens to be true that if a strict localization exists (which, in $rm Cat$, it always does), then any GZ-localization is equivalent to this strict localization. For applying both universal properties yields functors back and forth comparing the two localizations, which commute strictly with the localization functors from $C$. Then the second clauses of the two universal properties imply that both composites of these functors are isomorphic to identities, hence form an equivalence of categories. So if you "only care about determining categories up to equivalence", then the two definitions are in fact equivalent — but if you only care about determining categories up to equivalence, then you should really be using the definition of weak localization, since it is the only one that's invariant under replacing everything by something equivalent.



        Regarding your problem with showing uniqueness of the isomorphism, note that "unique up to unique isomorphism" doesn't mean that there is a unique isomorphism $G_1cong G_2$ period, it means that there is a unique such isomorphism that commutes with all the other data. The latter condition removes any dependency on automorphisms of the input. For instance, a product object $Atimes B$ is unique up to unique isomorphism, even though any automorphism of $A$ or $B$ induces an automorphism of $Atimes B$: such nontrivial automorphisms don't commute with the projection maps. In the case of localization, the weak localization condition should be enough to show that there is a unique isomorphism that commutes with the other data.






        share|cite|improve this answer












        Actually, both of these definitions look weird to me.



        I would say there are two natural ways to define the localization $C[S^-1]$ by a universal property, as follows. For any category $D$, let $rm Fun_S(C,D)$ denote the full subcategory of the functor category $rm Fun(C,D)$ spanned by those functors that send the morphisms in $S$ to isomorphisms. Let $Q:Cto C[S^-1]$ be a functor that sends the morphisms in $S$ to isomorphisms; then there is an induced functor $(-circ Q): rm Fun(C[S^-1],D) to rm Fun_S(C,D)$. I would say that $Q$ is a strict localization if this functor $(-circ Q)$ is an isomorphism of categories, and a weak localization if $(-circ Q)$ is an equivalence of categories.



        If we unravel that, then being a strict localization means that



        1. For any functor $F:Cto D$ sending $S$-morphisms to isomorphisms, there exists a literally unique functor $G:C[S^-1]to D$ such that $F = Gcirc Q$, and

        2. condition KS3.

        while being a weak localization means that



        1. For any functor $F:Cto D$ sending $S$-morphisms to isomorphisms, there exists some functor $G:C[S^-1]to D$ such that $F cong Gcirc Q$ (isomorphic, not equal!), and

        2. condition KS3.

        The definition you quoted from KS lies somewhere in between these two: it asks only that $G$ exists rather than being unique, but it asks this $G$ to factor $F$ strictly. This corresponds to asking that the functor $(-circ Q)$ be a surjective-on-objects equivalence, which is a rather odd condition. (The nlab gives the "weak localization" definition.



        Note that being a strict localization is the same as the lemma you quoted from GZ, but that it is actually strictly stronger than their definition as you quoted it: saying that $(-circ Q)$ is an isomorphism requires $G$ to be literally unique given $F$, not merely unique up to isomorphism. Moreover, the up-to-isomorphism GZ definition, as Simon says, is not "categorically correct", and should not be written as the definition of localization. (I believe that GZ were writing before questions such as the difference between isomorphism and equivalence of categories was widely appreciated, though, which may somewhat excuse this sloppiness.)



        However, I believe that in this special case, it happens to be true that if a strict localization exists (which, in $rm Cat$, it always does), then any GZ-localization is equivalent to this strict localization. For applying both universal properties yields functors back and forth comparing the two localizations, which commute strictly with the localization functors from $C$. Then the second clauses of the two universal properties imply that both composites of these functors are isomorphic to identities, hence form an equivalence of categories. So if you "only care about determining categories up to equivalence", then the two definitions are in fact equivalent — but if you only care about determining categories up to equivalence, then you should really be using the definition of weak localization, since it is the only one that's invariant under replacing everything by something equivalent.



        Regarding your problem with showing uniqueness of the isomorphism, note that "unique up to unique isomorphism" doesn't mean that there is a unique isomorphism $G_1cong G_2$ period, it means that there is a unique such isomorphism that commutes with all the other data. The latter condition removes any dependency on automorphisms of the input. For instance, a product object $Atimes B$ is unique up to unique isomorphism, even though any automorphism of $A$ or $B$ induces an automorphism of $Atimes B$: such nontrivial automorphisms don't commute with the projection maps. In the case of localization, the weak localization condition should be enough to show that there is a unique isomorphism that commutes with the other data.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 33 mins ago









        Mike Shulman

        35k479214




        35k479214




















            Luke is a new contributor. Be nice, and check out our Code of Conduct.









             

            draft saved


            draft discarded


















            Luke is a new contributor. Be nice, and check out our Code of Conduct.












            Luke is a new contributor. Be nice, and check out our Code of Conduct.











            Luke is a new contributor. Be nice, and check out our Code of Conduct.













             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f312118%2fwhat-is-the-correct-definition-of-localisation-of-a-category%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            What does second last employer means? [closed]

            Installing NextGIS Connect into QGIS 3?

            One-line joke