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

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