Fiber products of categories cofibered in groupoids: If \mathcal{F} \to \mathcal{H} and \mathcal{G} \to \mathcal{H} are morphisms of categories cofibered in groupoids over \mathcal{C}_\Lambda , then a construction of their 2-fiber product is given by the construction for their 2-fiber product as categories over \mathcal{C}_\Lambda , as described in Categories, Lemma 4.32.3.
Comments (0)