Algebraic weak factorisation systems. I: Accessible AWFS.

DOI10.1016/j.jpaa.2015.06.002zbMath1327.18004arXiv1412.6559OpenAlexW1487093245MaRDI QIDQ886977

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

category2-categorymonadcomonadweak factorisation systemdouble category2-functororthogonal factorisation systemalgebraic weak factorisation systemcoalgebra lifting operationcocategorycofibrant generationconcrete double categorydoctrinal adjunction

Mathematics Subject Classification ID

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

Related Items (23)

A characterisation of elementary fibrations ⋮ Higher dimensional categories: induction on extensivity ⋮ Hom weak ω-categories of a weak ω-category ⋮ Lax orthogonal factorisation systems ⋮ Accessible model categories ⋮ Unnamed Item ⋮ Elementary fibrations of enriched groupoids ⋮ Algebraic weak factorisation systems. II: Categories of weak maps. ⋮ Combinatorial and accessible weak model categories ⋮ A skew approach to enrichment for Gray-categories ⋮ On factorisation systems for Ord-enriched categories and categories of partial maps ⋮ An orthogonal approach to algebraic weak factorisation systems ⋮ Categorical notions of fibration ⋮ Bousfield localisation and colocalisation of one-dimensional model structures ⋮ The Frobenius condition, right properness, and uniform fibrations ⋮ Lax orthogonal factorisations in ordered structures ⋮ 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\) ⋮ Equipping weak equivalences with algebraic structure ⋮ A criterion for existence of right‐induced model structures ⋮ Arrow categories of monoidal model categories ⋮ A homotopy-theoretic model of function extensionality in the effective topos ⋮ Cofibrantly generated lax orthogonal factorisation systems ⋮ MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
• Homotopical resolutions associated to deformable adjunctions
• Algebraic model structures
• Weak reflections and weak factorization systems
• Algebraic weak factorisation systems. II: Categories of weak maps.
• The identity type weak factorisation system
• Homomorphisms of higher categories
• Exponentiable morphisms, partial products and pullback complements
• Two-dimensional monad theory
• Constructions of factorization systems in categories
• Free monads and the orthogonal subcategory problem
• Quasi-categories and Kan complexes
• Quillen closed model structures for sheaves
• On the construction of functorial factorizations for model categories
• Coalgebraic models for combinatorial model categories
• Six model structures for DG-modules over DGAs: model category theory in homological action.
• The 2-category theory of quasi-categories
• Monoidal algebraic model structures
• Homotopical algebra
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• The formal theory of monads
• Categories of continuous functors. I
• Multitensor lifting and strictly unital higher category theory
• Categorical Homotopy Theory
• The Coalgebraic Structure of Cell Complexes
• Stacks and sheaves of categories as fibrant objects
• Left-Induced Model Structures and Diagram Categories
• Homotopy theoretic models of identity types
• 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
• Coherence for tricategories
• Higher Topos Theory (AM-170)
• Understanding the small object argument

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