Lemma 4.31.11 (02XE)—The Stacks project

Lemma 4.31.11. Let

$\xymatrix{ \mathcal{C}_3 \ar[r] \ar[d] & \mathcal{S} \ar[d]^\Delta \\ \mathcal{C}_1 \times \mathcal{C}_2 \ar[r]^{G_1 \times G_2} & \mathcal{S} \times \mathcal{S} }$

be a $2$ -fibre product of categories. Then there is a canonical isomorphism $\mathcal{C}_3 \cong \mathcal{C}_1 \times _{G_1, \mathcal{S}, G_2} \mathcal{C}_2$ .

Proof. We may assume that $\mathcal{C}_3$ is the category $(\mathcal{C}_1 \times \mathcal{C}_2)\times _{\mathcal{S} \times \mathcal{S}} \mathcal{S}$ constructed in Example 4.31.3. Hence an object is a triple $((X_1, X_2), S, \phi )$ where $\phi = (\phi _1, \phi _2) : (G_1(X_1), G_2(X_2)) \to (S, S)$ is an isomorphism. Thus we can associate to this the triple $(X_1, X_2, \phi _2^{-1} \circ \phi _1)$ . Conversely, if $(X_1, X_2, \psi )$ is an object of $\mathcal{C}_1 \times _{G_1, \mathcal{S}, G_2} \mathcal{C}_2$ , then we can associate to this the triple $((X_1, X_2), G_2(X_2), (\psi , \text{id}_{G_2(X_2)}))$ . We claim these constructions given mutually inverse functors. We omit describing how to deal with morphisms and showing they are mutually inverse. $\square$

Comments (6)

Comment #7690 by Anonymous on August 20, 2022 at 16:20

Is it clear that this lemma (and other such lemmas in this section) carry over to the $2$ -category of categories over categories, as in the next section (Section 4.32)? Or is there an implicit "by the same proof" assertion when the result (for categories over categories) is invoked in Lemma 4.42.6?

Comment #7691 by Johan on August 20, 2022 at 17:17

I think so. It seems to me the only thing to check is that the $2$ -fibre product constructed in Lemma 4.32.3 is canonically equivalent to the one constructed in Lemma 4.31.4. Or can you see other problems? Presumably there is a meta version of each of the lemmas here for any $(2, 1)$ category with $2$ -fibre products (and certain products).

Comment #7692 by Anonymous on August 20, 2022 at 22:08

Are these fiber products actually equivalent? Let $B$ be the groupoid category with one object and two arrows, and let $A$ be the discrete category with one object. Taking the $2$ -fibre product $A \times_B A$ as categories yields the discrete category with two objects. However, if we view all of these as categories over $B$ , the $2$ -fiber product $A \times_B A$ as categories over $B$ is the discrete category with one object.

The difference is that (in the notation of Lemma 4.32.3), we were allowed to choose any comparison isomorphism $f$ in the first situation, but could only choose the identity arrow in the second situation. I think this reflects the fact that $2$ -morphisms in the category of categories over $B$ are a little different.

Also agreed that this is probably some general fact about $2$ -fibre products...

Comment #7693 by Stacks Project on August 21, 2022 at 08:35

Agreed: argh! Nice simple example! I intend to add this in the future. Thanks!

Interestingly, in your example the category $A$ is not fibred in groupoids over $B$ , right? So, maybe what is true: $2$ -fibre products in the $(2, 1)$ -category of categories fibred in groupoids "agree" with the simlpe one in Example 4.31.3? Then we could add that as a lemma and use it whenever we use the lemmas in this section for categories fibred in groupoids. What do you think?

Obviously, I didn't put enough time into the previous comment and I am not putting a lot of time into this one either. So thank you for helping Anonymous!

Comment #7694 by Anonymous on August 21, 2022 at 12:25

No problem! Yes I think something for categories fibred in groupoids would be good. Maybe what you're saying is true, although it still seems to me that the 2-morphisms are a bit different. I tried for a bit and didn't find a counterexample.

Comment #7960 by Stacks Project on January 08, 2023 at 16:46

OK, I have added the counter example and the equality for cats fibred in groupoids in this commit.

There are also:

6 comment(s) on Section 4.31: 2-fibre products

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (6)

Post a comment