First Page | Document Content | |
---|---|---|
Date: 2015-04-07 16:07:58 | FIBER BUNDLES AND UNIVALENCE IEKE MOERDIJK This talk presents a proof of the fact that a universal Kan fibration is univalent. The talk was given by Ieke Moerdijk during the conference Mathematics: Algorithms and ProofsAdd to Reading ListSource URL: www.andrew.cmu.eduDownload Document from Source WebsiteFile Size: 243,85 KBShare Document on Facebook |