arXiv:1203.2553 [math.AT]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords simplicial sets, univalence, kan fibrations Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset