Examples and cofibrant generation of effective Kan fibrations
type: Item
instance of: scholarly article
title: Examples and cofibrant generation of effective Kan fibrations
DOI: 10.1016/j.jpaa.2024.107812
author: Benno van den Berg
author: Freek Geerligs
published in: Journal of Pure and Applied Algebra
publication date: 2025-01-27T00:00:00Z
Mathematics Subject Classification ID: 18A32
Mathematics Subject Classification ID: 18N50
Mathematics Subject Classification ID: 55U10
zbMATH DE Number: 7975209
MaRDI profile type: Publication
cites work: Q2968413
cites work: Q5277833
cites work: Effective Kan fibrations in simplicial sets
cites work: Algebraic weak factorisation systems. I: Accessible AWFS.
cites work: An orthogonal approach to algebraic weak factorisation systems
cites work: Cubical Type Theory: a constructive interpretation of the univalence axiom
cites work: Some remarks on Maltsev and Goursat categories
cites work: Understanding the small object argument
cites work: MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
cites work: The Frobenius condition, right properness, and uniform fibrations
cites work: ON THE CONCEPT OF FIBER SPACE
cites work: Q4145861
cites work: Q4542690
cites work: The simplicial model of univalent foundations (after Voevodsky)
cites work: Q5829835
cites work: Q3263905
cites work: Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation
cites work: Category theory in context
cites work: Cubical groups which are Kan
cites work: Homotopy Type Theory: Univalent Foundations of Mathematics
description: scientific article; zbMATH DE number 7975209