<--- Back to Details
First PageDocument Content
Functors / Natural transformation / Functor / Equivalence of categories / Cartesian closed category / Monoidal category / Category / Monad / Isomorphism of categories / Category theory / Abstract algebra / Adjoint functors
Date: 2003-09-10 18:13:26
Functors
Natural transformation
Functor
Equivalence of categories
Cartesian closed category
Monoidal category
Category
Monad
Isomorphism of categories
Category theory
Abstract algebra
Adjoint functors

Add to Reading List

Source URL: www.site.uottawa.ca

Download Document from Source Website

File Size: 414,72 KB

Share Document on Facebook

Similar Documents

Mathematics / Algebra / Topology / Homotopy theory / Category theory / Algebraic topology / Differential topology / Sheaf theory / Pullback / Fibration / Cartesian closed category / Product

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

Category theory / Algebra / Mathematics / Monoidal categories / Lambda calculus / Functors / Algebraic topology / Cartesian closed category / Topological quantum field theory / Morphism / Natural transformation / Coproduct

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

Category theory / Algebra / Mathematics / Monoidal categories / Monoid / Enriched category / Adjoint functors / Cartesian closed category / Coproduct / Bicategory / Functor / Sheaf

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

Mathematical analysis / Mathematics / Theoretical physics / Operator theory / Differential geometry / Functional analysis / Hilbert space / Tensor product of Hilbert spaces / Poisson manifold / Cartesian closed category / Linear temporal logic

Classical Mechanics, Lecture 19 March 13, 2008 lecture by John Baez notes by Alex Hoffnung 1

DocID: 1pY2p - View Document

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

DocID: 1pEJ6 - View Document