5
votes
Accepted
Category of elements and Quillen adjunction
One can do even better than a Quillen adjunction: Theorem 3.8 in A model structure for Grothendieck fibrations establishes a Quillen equivalence between the projective model structure on presheaves of ...
4
votes
Accepted
Extending Tannakian "dictionary" to gerbes
The following is a translation of Saavedra 1972, III, 3.3.3, p.205.
Let $\omega\colon\mathsf{C}^{\prime}\rightarrow\mathsf{C}$ be a
morphism of tannakian categories over a field $k$, bound by a ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
ct.category-theory × 6485higher-category-theory × 852
reference-request × 607
at.algebraic-topology × 555
ag.algebraic-geometry × 545
homotopy-theory × 529
topos-theory × 434
monoidal-categories × 425
homological-algebra × 366
model-categories × 299
lo.logic × 287
infinity-categories × 245
monads × 223
limits-and-colimits × 215
simplicial-stuff × 212
set-theory × 204
gn.general-topology × 193
sheaf-theory × 189
rt.representation-theory × 173
abelian-categories × 173
ra.rings-and-algebras × 166
adjoint-functors × 149
gr.group-theory × 145
ac.commutative-algebra × 143
2-categories × 120