DeepAI AI Chat
Log In Sign Up

On bifibrations of model categories

by   Pierre Cagne, et al.

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.


page 1

page 2

page 3

page 4


Optics for Premonoidal Categories

We further the theory of optics or "circuits-with-holes" to encompass pr...

Saturated Kripke Structures as Vietoris Coalgebras

We show that the category of coalgebras for the compact Vietoris endofun...

Comprehension and quotient structures in the language of 2-categories

Lawvere observed in his celebrated work on hyperdoctrines that the set-t...

Central Submonads and Notions of Computation

The notion of "centre" has been introduced for many algebraic structures...

Definable and Non-definable Notions of Structure

Definability is a key notion in the theory of Grothendieck fibrations th...

A Mathematical Model of Package Management Systems – from General Event Structures to Antimatroids

This paper brings mathematical tools to bear on the study of package dep...

A Synthetic Perspective on (∞,1)-Category Theory: Fibrational and Semantic Aspects

Reasoning about weak higher categorical structures constitutes a challen...