scientific article
From MaRDI portal
Publication:3539846
zbMath1164.18300MaRDI QIDQ3539846
Publication date: 19 November 2008
Full work available at URL: https://eudml.org/doc/130079
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (30)
A characterisation of elementary fibrations ⋮ Monoidal algebraic model structures ⋮ Lax orthogonal factorisation systems ⋮ Accessible model categories ⋮ Unnamed Item ⋮ Elementary fibrations of enriched groupoids ⋮ Minimal accessible categories ⋮ Algebraic weak factorisation systems. I: Accessible AWFS. ⋮ Algebraic weak factorisation systems. II: Categories of weak maps. ⋮ Combinatorial and accessible weak model categories ⋮ On factorisation systems for Ord-enriched categories and categories of partial maps ⋮ Towards a constructive simplicial model of Univalent Foundations ⋮ An orthogonal approach to algebraic weak factorisation systems ⋮ Weak reflections and weak factorization systems ⋮ On the construction of functorial factorizations for model categories ⋮ An algebraic weak factorisation system on 01-substitution sets: a constructive proof ⋮ Two-dimensional monadicity ⋮ Unnamed Item ⋮ Understanding the small object argument ⋮ Enhanced 2-categories and limits for lax morphisms ⋮ Understanding the small object argument ⋮ On Morita contexts in bicategories ⋮ On the Functor ℓ2 ⋮ The Frobenius condition, right properness, and uniform fibrations ⋮ Homomorphisms of higher categories ⋮ Lax orthogonal factorisations in ordered structures ⋮ Semantics of higher inductive types ⋮ 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\) ⋮ Cofibrantly generated lax orthogonal factorisation systems ⋮ MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
This page was built for publication:
