pith. sign in

arxiv: 1203.2553 · v4 · pith:SS3GYS4Dnew · submitted 2012-03-12 · 🧮 math.AT · math.CT

Univalence in Simplicial Sets

Chris Kapulkin , Peter LeFanu Lumsdaine , Vladimir Voevodsky This is my paper
classification 🧮 math.AT math.CT
keywords accessibleaccountconstructionfibrationssetssimplicialunivalenceunivalent
0
0 comments X
read the original abstract

We present an accessible account of Voevodsky's construction of a univalent universe of Kan fibrations.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.