The Trace Factorisation of Stable Functors Paul Taylor 1998 Abstract A functor is stable if it has a left adjoint on each slice. Such functors arise as forgetful functors from categories of models of disjunctive theories

First Page		Document Content
Date: 2009-02-12 12:08:46 Functors Category theory Sheaf theory Adjoint functors Universal property Cartesian closed category Limit Natural transformation Product Initial and terminal objects Grothendieck topology Sheaf		The Trace Factorisation of Stable Functors Paul Taylor 1998 Abstract A functor is stable if it has a left adjoint on each slice. Such functors arise as forgetful functors from categories of models of disjunctive theories Add to Reading List Source URL: www.paultaylor.eu Download Document from Source Website File Size: 363,01 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