Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg

First Page		Document Content
Date: 2012-04-26 12:08:36 Homotopy theory General topology Topology Contractible space Connected space Homotopy Univalent foundations Topological space Continuous function		Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Download Document from Source Website File Size: 110,89 KB Share Document on Facebook

	SUBSPACES OF PSEUDORADIAL SPACES Martin Sleziak Abstract. We prove that every topological space (T0 -space, T1 -space) can be embedded in a pseudoradial space (in a pseudoradial T0 -space, T1 -space). This DocID: 1uFSH - View Document
	The étale fundamental group Wouter Zomervrucht, December 9, Topology Let X be a connected topological space. Let x ∈ X be a point. An important invariant of ( X, x ) is the (topological) fundamental group DocID: 1tfA0 - View Document
	TOPOLOGICAL CRYSTALS JOHN C. BAEZ Abstract. Sunada’s work on topological crystallography emphasizes the role of the ‘maximal abelian cover’ of a graph X. This is a covering space of X for which the group of deck tr DocID: 1t23O - View Document
	161 Documenta Math. Sobolev Spaces on Lie Manifolds and Regularity for Polyhedral Domains DocID: 1rsVn - View Document
	161 Documenta Math. Sobolev Spaces on Lie Manifolds and Regularity for Polyhedral Domains DocID: 1rr2b - View Document