The Frobenius condition, right properness, and uniform fibrations

DOI10.1016/J.JPAA.2017.02.013zbMath1378.18002arXiv1510.00669OpenAlexW2528548943WikidataQ59886272 ScholiaQ59886272MaRDI QIDQ2013548

Nicola Gambino, Christian Sattler

Publication date: 8 August 2017

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

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

Mathematics Subject Classification ID

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

Related Items (22)

A characterisation of elementary fibrations ⋮ Cubical methods in homotopy type theory and univalent foundations ⋮ Simplicial sets inside cubical sets ⋮ Unnamed Item ⋮ On bifibrations of model categories ⋮ On the ∞$\infty$‐topos semantics of homotopy type theory ⋮ Canonicity and homotopy canonicity for cubical type theory ⋮ Towards a constructive simplicial model of Univalent Foundations ⋮ An orthogonal approach to algebraic weak factorisation systems ⋮ Unnamed Item ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Cubical Type Theory: a constructive interpretation of the univalence axiom ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A cubical model of homotopy type theory ⋮ Equipping weak equivalences with algebraic structure ⋮ Unnamed Item ⋮ A homotopy-theoretic model of function extensionality in the effective topos ⋮ The effective model structure and -groupoid objects ⋮ Model structure on the universe of all types in interval type theory ⋮ Syntax and models of Cartesian cubical type theory ⋮ MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS

Uses Software

• cubicaltt

Cites Work

• Algebraic weak factorisation systems. I: Accessible AWFS.
• The identity type weak factorisation system
• Homomorphisms of higher categories
• Constructions of factorization systems in categories
• Reedy categories and the \(\varTheta\)-construction
• The simplicial model of univalent foundations (after Voevodsky)
• Monoidal algebraic model structures
• Homotopical algebra
• Multitensor lifting and strictly unital higher category theory
• The theory and practice of Reedy categories
• On the axioms for adhesive and quasiadhesive categories
• Homotopy Type Theory
• Topological and Simplicial Models of Identity Types
• A homotopy-theoretic universal property of Leinster's operad for weak ω-categories
• Cubical Type Theory: a constructive interpretation of the univalence axiom
• Polynomial functors and polynomial monads
• Understanding the small object argument
• Simplicial homotopy theory
• 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
• Unnamed Item

This page was built for publication: The Frobenius condition, right properness, and uniform fibrations