On bifibrations of model categories
Abstract
In this article, we develop a notion of Quillen bifibration which combines the two notions of Grothendieck bifibration and of Quillen model structure. In particular, given a bifibration p : E → B, we describe when a family of model structures on the fibers E A and on the basis category B combines into a model structure on the total category E, such that the functor p preserves cofibrations, fibrations and weak equivalences. Using this Grothendieck construction for model structures, we revisit the traditional definition of Reedy model structures, and possible generalizations, and exhibit their bifibrational nature.
Domains
Logic in Computer Science [cs.LO] Computation and Language [cs.CL] Quantum Algebra [math.QA] Algebraic Geometry [math.AG] Computer Science and Game Theory [cs.GT] Mathematical Software [cs.MS] Formal Languages and Automata Theory [cs.FL] Programming Languages [cs.PL] Category Theory [math.CT] Logic [math.LO] Algebraic Topology [math.AT]
Origin : Files produced by the author(s)