Lemma 4.38.4 (0047)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 1: Preliminaries
Chapter 4: Categories
Section 4.38: Categories fibred in sets
Lemma 4.38.4 (cite)

previous definition
next example

numberstags

history
statistics

Lemma 4.38.4. Let $\mathcal{C}$ be a category. The 2-category of categories fibred in sets over $\mathcal{C}$ has 2-fibre products. More precisely, the 2-fibre product described in Lemma 4.32.3 returns a category fibred in sets if one starts out with such.

Proof. Omitted. $\square$

Comments (0)

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 (0)

Post a comment