2000 character limit reached
Univalent completion (1508.04021v1)
Published 17 Aug 2015 in math.CT, math.AT, and math.LO
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.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
