Related Tags
fibered-categories × 28ct.category-theory × 25
stacks × 7
reference-request × 6
grothendieck-construction × 5
descent × 4
ag.algebraic-geometry × 3
fibration × 3
2-categories × 3
internal-categories × 3
higher-category-theory × 2
topos-theory × 2
limits-and-colimits × 2
algebraic-stacks × 2
enriched-category-theory × 2
dg.differential-geometry × 1
lo.logic × 1
homotopy-theory × 1
schemes × 1
monads × 1
adjoint-functors × 1
type-theory × 1
dg-categories × 1
categorical-logic × 1
yoneda-lemma × 1