nLab
BrownAHT
Context
Model category theory
model category

Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of $(\infty,1)$ -categories
Model structures
for $\infty$ -groupoids
for ∞-groupoids

for $n$ -groupoids
for $\infty$ -groups
for $\infty$ -algebras
general
specific
for stable/spectrum objects
for $(\infty,1)$ -categories
for stable $(\infty,1)$ -categories
for $(\infty,1)$ -operads
for $(n,r)$ -categories
for $(\infty,1)$ -sheaves / $\infty$ -stacks
$(\infty,1)$ -Topos Theory
(∞,1)-topos theory

Background
Definitions
elementary (∞,1)-topos

(∞,1)-site

reflective sub-(∞,1)-category

(∞,1)-category of (∞,1)-sheaves

(∞,1)-topos

(n,1)-topos , n-topos

(∞,1)-quasitopos

(∞,2)-topos

(∞,n)-topos

Characterization
Morphisms
Extra stuff, structure and property
hypercomplete (∞,1)-topos

over-(∞,1)-topos

n-localic (∞,1)-topos

locally n-connected (n,1)-topos

structured (∞,1)-topos

locally ∞-connected (∞,1)-topos , ∞-connected (∞,1)-topos

local (∞,1)-topos

cohesive (∞,1)-topos

Models
Constructions
structures in a cohesive (∞,1)-topos

This entry is about the article

Brown was a student of Dan Quillen . He expands in this article work from his thesis on a notion of homotopical category – called a category of fibrant objects – with a bit less structure than that of a full model category , which he uses to study “generalized abelian sheaf cohomology ”:

Following, or rather as a precursor of, the nPOV on cohomology he studies precisely the cohomology within ∞-stack (∞,1)-topos es and, in the second part of the article, that in (∞,1)-categories of (∞,1)-sheaves of spectra , see at sheaves of spectra .

As such, this article is a forerunner of the development of the full model category structures built for the purpose of modelling ∞-stack (∞,1)-toposes : the model structure on simplicial (pre)sheaves as first defined by Andre Joyal in his letter to Grothendieck and then later generalized from simplicial sheaves to simplicial presheaves and developed in great detail by Jardine (in its injective version) and Dan Dugger (in its projective version).

Dugger's theorem that every combinatorial model category is a left Bousfield localization of the projective global model structure on simplicial presheaves was finally understood by Jacob Lurie in the book Higher Topos Theory to be the model category -theoretic version of the intrinsic higher category theory statement that every presentable (∞,1)-category is the left localization of an (∞,1)-category of an (∞,1)-category of (∞,1)-presheaves , and that the left exact such localizations are precisely the (∞,1)-categories of (∞,1)-sheaves – the ∞-stack (∞,1)-topos es.

But the homotopy category of these (∞,1)-topos es – that category which remembers just the ∞-stack cohomology classes, and not the cocycle s – is precisely what Kenneth Brown constructed, studied and identified correctly in its nature back then in 1973.

Revised on June 26, 2014 08:23:43
by

Urs Schreiber
(109.246.71.66)