Reason Isomorphically! Ralf Hinze

First Page		Document Content
Date: 2011-03-18 10:34:01 Adjoint functors Natural transformation Representable functor Equivalence of categories Yoneda lemma Limit Cartesian closed category Sheaf Hom functor Category theory Abstract algebra Functors		Reason Isomorphically! Ralf Hinze Add to Reading List Source URL: www.cs.ox.ac.uk Download Document from Source Website File Size: 254,62 KB Share Document on Facebook

	OCTOBER 2012 The Golden Sheaf "The Second Publication in the Cardinal Gracias Memorial series – A Collection of articles from The Laity monthly dealing with current ecclesiastical aberrations and written by Indian and DocID: 1u1ef - View Document
	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
	251 Documenta Math. Dimensions of Anisotropic Indefinite Quadratic Forms II DocID: 1rrCp - View Document
	217 Documenta Math. Stable Maps of Curves Robert F. Coleman DocID: 1rrCk - View Document