Natural weak factorization systems.
From MaRDI portal
Recommendations
Cited in
(47)- The algebraic weak factorisation system for delta lenses
- Minimal accessible categories
- A characterisation of elementary fibrations
- MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
- On Morita contexts in bicategories
- Cofibrantly generated lax orthogonal factorisation systems
- scientific article; zbMATH DE number 1925952 (Why is no real title available?)
- The Frobenius condition, right properness, and uniform fibrations
- Elementary fibrations of enriched groupoids
- On the construction of functorial factorizations for model categories
- Understanding the small object argument
- Detecting model categories among Quillen categories using homotopies
- Kripke-Joyal forcing for type theory and uniform fibrations
- Lifting twisted coreflections against delta lenses
- Enhanced 2-categories and limits for lax morphisms
- Homotopy torsion theories
- Algebraic weak factorisation systems. II: Categories of weak maps.
- Semantics of higher inductive types
- Combinatorial and accessible weak model categories
- Lax orthogonal factorisation systems
- From abelian categories to 2-abelian bicategories
- Understanding the small object argument
- The univalence principle
- Two-dimensional monadicity
- From torsion theories to closure operators and factorization systems
- A toolkit for structured lifts
- Homomorphisms of higher categories
- On vector spaces with formal infinite sums
- 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\)
- Weak factorization systems for S-acts.
- Algebraic weak factorisation systems. I: Accessible AWFS.
- Lax orthogonal factorisations in ordered structures
- Formalizing the algebraic small object argument in UniMath
- Monoidal algebraic model structures
- Frobenius structure and the Beck-Chevalley condition for algebraic weak factorization systems
- Cubical approximation for directed topology. II
- Weak reflections and weak factorization systems
- Towards a constructive simplicial model of Univalent Foundations
- Accessible model categories
- Essential weak factorization systems
- On the Functor ℓ2
- On semi weak factorization structures
- Proper factorization systems in 2-categories
- An orthogonal approach to algebraic weak factorisation systems
- Lax factorization algebras
- An algebraic weak factorisation system on 01-substitution sets: a constructive proof
- On factorisation systems for \textbf{Ord}-enriched categories and categories of partial maps
This page was built for publication: Natural weak factorization systems.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3539846)
