Algebraic weak factorisation systems I: accessible AWFS

Abstract

Algebraic weak factorisation systems (AWFS) refine weak factorisation systems by requiring that the assignations sending a map to its first and second factors should underlie an interacting comonad--monad pair on the arrow category. We provide a comprehensive treatment of the basic theory of AWFS---drawing on work of previous authors---and complete the theory with two main new results. The first provides a characterisation of AWFS and their morphisms in terms of their double categories of left or right maps. The second concerns a notion of cofibrant generation of an AWFS by a small double category; it states that, over a locally presentable base, any small double category cofibrantly generates an AWFS, and that the AWFS so arising are precisely those with accessible monad and comonad. Besides the general theory, numerous applications of AWFS are developed, emphasising particularly those aspects which go beyond the non-algebraic situation.

46 pages, final journal version

References in corpus (6)

• Higher Topos Theory
• Homotopy theoretic models of identity types
• The identity type weak factorisation system
• Algebraic weak factorisation systems II: categories of weak maps
• On the construction of functorial factorizations for model categories
• The Coalgebraic Structure of Cell Complexes

Cited by in corpus (24)

• A necessary and sufficient condition for induced model structures
• The Frobenius Condition, Right Properness, and Uniform Fibrations
• Algebraic weak factorisation systems II: categories of weak maps
• Categorical notions of fibration
• Lifting accessible model structures
• Extending homotopy theories across adjunctions
• All $(\infty ,1)$-toposes have strict univalent universes
• Lax orthogonal factorisation systems
• A criterion for existence of right-induced model structures
• Models of Martin-Löf type theory from algebraic weak factorisation systems
• A homotopy-theoretic model of function extensionality in the effective topos
• Lax orthogonal factorisations in monad-quantale-enriched categories
• Kripke-Joyal forcing for type theory and uniform fibrations
• An orthogonal approach to algebraic weak factorisation systems
• Foundations of Algebraic Theories and Higher Dimensional Categories
• $\omega$-weak equivalences between weak $\omega$-categories
• The Algebraic Weak Factorisation System for Delta Lenses
• Cofibrantly generated lax orthogonal factorisation systems
• Smooth and Proper Maps
• Hom weak $\omega$-categories of a weak $\omega$-category
• On factorisation systems for Ord-enriched categories and categories of partial maps
• 2-categorical opfibrations, Quillen's Theorem B, and $S^{-1}S$
• On $2$-categorical $\infty$-cosmoi
• Bousfield localisation and colocalisation of one-dimensional model structures