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

	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
	arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California DocID: 1r6vo - View Document
	Monoidal Indeterminates and Categories of Possible WorldsI C. Hermida, R. D. Tennent∗ School of Computing, Queen’s University, Kingston, Canada K7L 3N6 Abstract Given any symmetric monoidal category C, a small symmet DocID: 1qIeP - View Document
	Classical Mechanics, Lecture 19 March 13, 2008 lecture by John Baez notes by Alex Hoffnung 1 DocID: 1pY2p - View Document
	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 DocID: 1pEJ6 - View Document