<--- Back to Details
First PageDocument Content
Abstract algebra / Adjoint functors / Strong monad / Monoidal monad / Monoidal functor / Monad / Enriched category / Monoid / Closed monoidal category / Category theory / Monoidal categories / Algebra
Date: 2007-03-19 03:23:44
Abstract algebra
Adjoint functors
Strong monad
Monoidal monad
Monoidal functor
Monad
Enriched category
Monoid
Closed monoidal category
Category theory
Monoidal categories
Algebra

Add to Reading List

Source URL: home.imf.au.dk

Download Document from Source Website

File Size: 348,46 KB

Share Document on Facebook

Similar Documents

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

Functors / Monad / Kleisli category / Limit / Universal property / Natural transformation / Equivalence of categories / Enriched category / Cartesian closed category / Category theory / Adjoint functors / Monoidal categories

BRICS Basic Research in Computer Science BRICS RSPower et al.: A Representation Result for Free Cocompletions A Representation Result for

DocID: 1aAD5 - View Document

Algebras / Frobenius algebra / Tensor product / Tensor algebra / Vector space / Singular value decomposition / Associative algebra / Tensor / Braided monoidal category / Mathematics / Abstract algebra / Monoidal categories

Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras ∗ Authors: Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Pulman, Bob Coecke Affiliation: Department of Computer Scien

DocID: 140Tg - View Document

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

Physics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Riverside, California 92521, USA Mike Stay

DocID: 12Ngz - View Document