Algebraic weak factorisation systems. I: Accessible AWFS.

DOI10.1016/J.JPAA.2015.06.002MaRDI QIDQ886977zbMATH OpenOpenAlexFDO

Authors John Bourke, Richard Garner

Publication date 27 October 2015

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1412.6559

zbMATH Keywords

2-category2-functoralgebraic weak factorisation systemcategorycoalgebra lifting operationcocategorycofibrant generationcomonadconcrete double categorydoctrinal adjunctiondouble categorymonadorthogonal factorisation systemweak factorisation system

Mathematics Subject Classification ID

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

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.

Recommendations

• An orthogonal approach to algebraic weak factorisation systems
• Weak reflections and weak factorization systems
• Essential weak factorization systems
• Algebraic weak factorisation systems. II: Categories of weak maps.
• Weak factorization systems for S-acts.
• Natural weak factorization systems.
• The identity type weak factorisation system
• An algebraic weak factorisation system on 01-substitution sets: a constructive proof
• Factorization systems induced by weak distributive laws
• On semi weak factorization structures

Cites work

• A homotopy-theoretic universal property of Leinster's operad for weak ω-categories
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Accessible Categories: The Foundations of Categorical Model Theory
• Adjoint Lifting Theorems for Categories of Algebras
• Algebraic model structures
• Algebraic weak factorisation systems. II: Categories of weak maps.
• Categorical homotopy theory
• Categories of continuous functors. I
• Coalgebraic models for combinatorial model categories
• Coherence for tricategories
• Constructions of factorization systems in categories
• Exponentiable morphisms, partial products and pullback complements
• Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
• Free monads and the orthogonal subcategory problem
• Higher Topos Theory (AM-170)
• Homomorphisms of higher categories
• Homotopical algebra
• Homotopical resolutions associated to deformable adjunctions
• Homotopy theoretic models of identity types
• scientific article; zbMATH DE number 3971006 (Why is no real title available?)
• scientific article; zbMATH DE number 3680046 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 19494 (Why is no real title available?)
• scientific article; zbMATH DE number 3522182 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 269628 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• scientific article; zbMATH DE number 3305157 (Why is no real title available?)
• Left-induced model structures and diagram categories
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Monoidal algebraic model structures
• Multitensor lifting and strictly unital higher category theory
• Natural weak factorization systems.
• On the construction of functorial factorizations for model categories
• Quasi-categories and Kan complexes
• Quillen closed model structures for sheaves
• Six model structures for DG-modules over DGAs: model category theory in homological action.
• Stacks and sheaves of categories as fibrant objects. I.
• The 2-category theory of quasi-categories
• The coalgebraic structure of cell complexes
• The comprehensive factorization and torsors
• The formal theory of monads
• The identity type weak factorisation system
• Two-dimensional monad theory
• Understanding the small object argument
• Weak reflections and weak factorization systems

Cited in

(42)

• Weak factorization systems and topological functors
• Bousfield localisation and colocalisation of one-dimensional model structures
• The Frobenius condition, right properness, and uniform fibrations
• 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\)
• A characterisation of elementary fibrations
• Higher dimensional categories: induction on extensivity
• Categorical notions of fibration
• Equipping weak equivalences with algebraic structure
• Cofibrantly generated lax orthogonal factorisation systems
• Accessible model categories
• Combinatorial and accessible weak model categories
• An orthogonal approach to algebraic weak factorisation systems
• Essential weak factorization systems
• An algebraic weak factorisation system on 01-substitution sets: a constructive proof
• A homotopy-theoretic model of function extensionality in the effective topos
• Lax orthogonal factorisation systems
• Natural weak factorization systems.
• scientific article; zbMATH DE number 1925952 (Why is no real title available?)
• From torsion theories to closure operators and factorization systems
• On factorisation systems for \textbf{Ord}-enriched categories and categories of partial maps
• Hom weak ω-categories of a weak ω-category
• Elementary fibrations of enriched groupoids
• Lifting accessible model structures
• Lax orthogonal factorisations in ordered structures
• A criterion for existence of right‐induced model structures
• Arrow categories of monoidal model categories
• MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
• A skew approach to enrichment for Gray-categories
• Weak reflections and weak factorization systems
• Computads for generalised signatures
• Kripke-Joyal forcing for type theory and uniform fibrations
• Lifting twisted coreflections against delta lenses
• Examples and cofibrant generation of effective Kan fibrations
• Frobenius structure and the Beck-Chevalley condition for algebraic weak factorization systems
• Cubical approximation for directed topology. II
• -weak equivalences between weak -categories
• The algebraic weak factorisation system for delta lenses
• Double categories of relations relative to factorisation systems
• Smooth and proper maps with respect to a fibration
• A toolkit for structured lifts
• The equivariant model structure on cartesian cubical sets
• Algebraic weak factorisation systems. II: Categories of weak maps.

This page was built for publication: Algebraic weak factorisation systems. I: Accessible AWFS.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q886977)