Univalent completion
Benno van den Berg, Ieke Moerdijk
TL;DR
This paper reviews univalent fibrations and demonstrates that any Kan fibration in simplicial sets can be embedded into a univalent Kan fibration using elementary methods.
Contribution
It provides a straightforward proof that every Kan fibration can be embedded into a univalent Kan fibration, advancing understanding of univalent fibrations.
Findings
Every Kan fibration can be embedded in a univalent Kan fibration.
Elementary methods suffice for the embedding proof.
Enhances the theoretical framework of univalent fibrations.
Abstract
We review the concept of a univalent fibration and show by elementary means that every Kan fibration in simplicial sets can be embedded in a univalent Kan fibration.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsRings, Modules, and Algebras · Advanced Topics in Algebra · Finite Group Theory Research