Continuity in type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK

First Page		Document Content
Date: 2014-07-02 11:28:23 General topology Topos Baire space Continuous function Space Ordinal number Cantor space Grothendieck topology Constructible universe Topology Mathematics Sheaf theory		Continuity in type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 289,57 KB Share Document on Facebook

	Cartesian Closure for Stable Categories (draft) Paul Taylor DocID: 1rpTZ - View Document
	Plane Polynomial Automorphisms of Fixed Multidegree Jean-Philippe FURTER, Dpt. of Math., Univ. of La Rochelle, av. M. Crépeau, La Rochelle, FRANCE email: DocID: 1rdWG - View Document
	71 Documenta Math. Motivic Tubular Neighborhoods Marc Levine DocID: 1rbhs - View Document
	Fundamental groups of log conﬁguration spaces and the cuspidalization problem Yuichiro Hoshi Contents 1 Introduction DocID: 1r9AN - View Document
	´ Etale cohomology Prof. Dr. Uwe Jannsen Summer Term 2015 DocID: 1r9r6 - View Document