Back to Results
First PageMeta Content
Continuous function / Sheaf / Topological space / Intuitionistic type theory / Weak topology / Topos / Discrete space / Closure / Compact space / Topology / General topology / Mathematics


The intrinsic topology of a Martin-L¨of universe Mart´ın H. Escard´o February 2012, version of May 15, 2012
Add to Reading List

Document Date: 2012-05-15 18:09:46

Open Document

File Size: 272,63 KB

Share Result on Facebook

City

Berlin / Amsterdam / London / New York / Venice / /

Company

Cambridge University Press / Russell / McGraw-Hill / /

Continent

Europe / /

Country

Netherlands / United Kingdom / /

EntertainmentAwardEvent

Davorin / /

Event

Person Communication and Meetings / /

Facility

University of Ljubljana / University of Azores / University of Birmingham / /

Organization

Cambridge University / University of Ljubljana / Faculty of Mathematics and Physics / Oxford Univ. / Institute for Advanced Study / Department of Mathematics / University of Birmingham / University of Azores / /

Person

Nuo Li / Chuangjie Xu / Thomas Streicher / Peter Dybjer / Thomas Anberr´ee / Vladimir Voevodsky / Alex Simpson / Thorsten Altenkirch / /

Position

author / /

ProvinceOrState

New York / /

Technology

Information Technology / pdf / /

URL

http /

SocialTag