<--- Back to Details
First PageDocument Content
Category theory / Algebra / Mathematics / Monoidal categories / Lambda calculus / Functors / Algebraic topology / Cartesian closed category / Topological quantum field theory / Morphism / Natural transformation / Coproduct
Date: 2009-06-05 20:47:48
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

Add to Reading List

Source URL: arxiv.org

Download Document from Source Website

File Size: 814,23 KB

Share Document on Facebook

Similar Documents

SOME DEGENERATE WEAK CATEGORIES PAIGE NORTH Abstract. We consider weak higher categories which have only a single cell in some lower dimensions. We show that bicategories with one 0-cell are monoidal categories, and tric

SOME DEGENERATE WEAK CATEGORIES PAIGE NORTH Abstract. We consider weak higher categories which have only a single cell in some lower dimensions. We show that bicategories with one 0-cell are monoidal categories, and tric

DocID: 1uaAw - View Document

Skew Monoidal Categories and Grothendieck’s Six Operations by Benjamin James Fuller

Skew Monoidal Categories and Grothendieck’s Six Operations by Benjamin James Fuller

DocID: 1tMoS - View Document

Dagger Traced Symmetric Monoidal Categories and Reversible Programming William J. Bowman, Roshan P. James, and Amr Sabry School of Informatics and Computing, Indiana University {wilbowma,rpjames,sabry}@indiana.edu

Dagger Traced Symmetric Monoidal Categories and Reversible Programming William J. Bowman, Roshan P. James, and Amr Sabry School of Informatics and Computing, Indiana University {wilbowma,rpjames,sabry}@indiana.edu

DocID: 1tC1r - View Document

&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&  Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&

&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&

DocID: 1t82F - View Document

Categorical Semantics of Digital Circuits Dan R. Ghica, Achim Jung University of Birmingham, UK Abstract—This paper proposes a categorical theory of digital circuits based on monoidal categories and graph rewriting. Th

Categorical Semantics of Digital Circuits Dan R. Ghica, Achim Jung University of Birmingham, UK Abstract—This paper proposes a categorical theory of digital circuits based on monoidal categories and graph rewriting. Th

DocID: 1sSGp - View Document