1003 Documenta Math. Formality of Derived Intersections Julien Grivaux

First Page		Document Content
Date: 2016-04-27 12:14:31 Algebra Abstract algebra Mathematics Algebraic geometry Sheaf theory Intersection theory Coherent sheaf Sheaf Chow group Cohomology Morphism of algebraic varieties Vertex operator algebra		1003 Documenta Math. Formality of Derived Intersections Julien Grivaux Add to Reading List Source URL: jgrivaux.perso.math.cnrs.fr Download Document from Source Website File Size: 142,47 KB 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