Two-dimensional locally cartesian closed categories

First Page		Document Content
Date: 2008-02-19 05:44:32 Sheaf theory Functors Cartesian closed category Lambda calculus Natural transformation Exponential object Adjoint functors Groupoid Yoneda lemma Category theory Abstract algebra Mathematics		Two-dimensional locally cartesian closed categories Add to Reading List Source URL: web.science.mq.edu.au Download Document from Source Website File Size: 146,03 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