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 Proofs

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 Proofs Add to Reading List Source URL: www.andrew.cmu.edu Download Document from Source Website File Size: 243,85 KB Share Document on Facebook