Mixing
What is the correct definition of localisation of a category?
Clash 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
ct.category-theory derived-categories localization universal-property
asked 2 hours ago
Luke
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.
add a comment |Â
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
ct.category-theory derived-categories localization universal-property
asked 2 hours ago
Luke
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.
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
add a comment |Â
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
ct.category-theory derived-categories localization universal-property
asked 2 hours ago
Luke
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.
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
ct.category-theory derived-categories localization universal-property
asked 2 hours ago
Luke
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.
asked 2 hours ago
Luke
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.
edited 1 hour ago
asked 2 hours ago
Luke
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.
asked 2 hours ago
Luke
1213
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
add a comment |Â
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
add a comment |Â
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
- 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
- condition KS3.
while being a weak localization means that
- 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
- 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.
answered 33 mins ago
Mike Shulman
35k479214
add a comment |Â
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
- 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
- condition KS3.
while being a weak localization means that
- 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
- 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.
answered 33 mins ago
Mike Shulman
35k479214
add a comment |Â
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
- 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
- condition KS3.
while being a weak localization means that
- 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
- 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.
answered 33 mins ago
Mike Shulman
35k479214
add a comment |Â
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
- 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
- condition KS3.
while being a weak localization means that
- 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
- 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.
answered 33 mins ago
Mike Shulman
35k479214
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
- 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
- condition KS3.
while being a weak localization means that
- 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
- 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.
answered 33 mins ago
Mike Shulman
35k479214
answered 33 mins ago
Mike Shulman
35k479214
answered 33 mins ago
Mike Shulman
35k479214
answered 33 mins ago
Mike Shulman
35k479214
35k479214
add a comment |Â
add a comment |Â
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.
Luke is a new contributor. Be nice, and check out our Code of Conduct.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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