The intrinsic topology of a universe in intuitionistic type theory Mart´ın Escard´ o University of Birmingham, UK 8th DCM (in CiE), June 2012, Cambridge, UK - Intrinsic function - Document - PDFSEARCH.IO

First Page	Meta Content
	The intrinsic topology of a universe in intuitionistic type theory Mart´ın Escard´ o University of Birmingham, UK 8th DCM (in CiE), June 2012, Cambridge, UK Add to Reading List Document Date: 2012-06-17 04:04:56 Open Document File Size: 176,73 KB Share Result on Facebook City Cambridge / / Country United Kingdom / / Facility University of Birmingham / / Organization University of Birmingham / / Person Vladimir Voevodsky / Thomas Streicher / / Position Bishop / / SocialTag Sheaf theory Topos Constructivism Continuous function Topological space Category of topological spaces Set theory Universe Intuitionistic type theory Topology

The intrinsic topology of a universe in intuitionistic type theory Mart´ın Escard´ o University of Birmingham, UK 8th DCM (in CiE), June 2012, Cambridge, UKAdd to Reading List