highertopoi March 10, 2012

First Page		Document Content
Date: 2012-03-10 18:23:37 Algebraic topology Homotopy theory Homological algebra Sheaf theory Group theory Sheaf Classifying space Cohomology Eilenberg–MacLane space Abstract algebra Topology Algebra		highertopoi March 10, 2012 Add to Reading List Source URL: www.math.harvard.edu Download Document from Source Website File Size: 3,92 MB Share Document on Facebook

	Sheaf models of type theory Thierry Coquand Oxford, 8 September 2017 Sheaf models of type theory DocID: 1tKf4 - View Document
	CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES SHIN HATTORI Abstract. Let p > 2 be a rational prime and K/Qp be an extension of complete discrete valuation ﬁelds. Let G be a truncated BarsottiTate group of level n, heigh DocID: 1rtVq - View Document
	217 Documenta Math. Stable Maps of Curves Robert F. Coleman DocID: 1rrCk - View Document
	357 Documenta Math. Operational K -Theory Dave Anderson and Sam Payne DocID: 1rrcl - View Document
	Internal Completeness of Categories of Domains Paul Taylor 1985 This paper was presented at Category Theory and Computer Programming bf 1, University of Surrey (Guildford), SeptemberIt was published in Springer-Ve DocID: 1rqwq - View Document