Thomason-type model structure


Thomason-type model categories provide simple 1-categorical models for (∞,1)-categorical objects.

The provide a particularly convenient setting for results like Quillen’s Theorem A? and Theorem B?.


(∞,1)-categorical structure1-categorical structuremodel structure
∞-groupoidcategoryThomason model structure
∞-groupoidposetmodel structure on posets?
∞-groupoid2-categoryThomason model structure on 2-categories?
(∞,1)-categoryrelative categoryBarwick–Kan model structure?
connective spectrasymmetric multicategoryFuentes-Keuthan model structure?
connective spectrasymmetric monoidal groupoid(only a relative category)
connective spectrasymmetric monoidal category(only a relative category)



Created on September 18, 2021 at 18:18:59. See the history of this page for a list of all contributions to it.