Algebraic weak factorisation systems. I: Accessible AWFS.
From MaRDI portal
Publication:886977
DOI10.1016/j.jpaa.2015.06.002zbMath1327.18004arXiv1412.6559OpenAlexW1487093245MaRDI QIDQ886977
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
category2-categorymonadcomonadweak factorisation systemdouble category2-functororthogonal factorisation systemalgebraic weak factorisation systemcoalgebra lifting operationcocategorycofibrant generationconcrete double categorydoctrinal adjunction
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.
