Closed monoidal category

Results: 39



#Item
1arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California

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

Language: English - Date: 2009-06-05 20:47:48
2Monoidal 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

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

Add to Reading List

Source URL: maggie.cs.queensu.ca

Language: English - Date: 2011-12-16 22:41:04
3BRICS  Basic Research in Computer Science BRICS RSPower et al.: A Representation Result for Free Cocompletions  A Representation Result for

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

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 1998-10-06 07:03:41
4Reasoning 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

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

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2015-03-18 10:54:11
5Physics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Riverside, California 92521, USA Mike Stay

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

Add to Reading List

Source URL: math.ucr.edu

Language: English - Date: 2012-06-26 12:58:42
6A Traced Monoidal Category of Relations (DRAFT) R.D. Arthan 10 December[removed]

A Traced Monoidal Category of Relations (DRAFT) R.D. Arthan 10 December[removed]

Add to Reading List

Source URL: www.lemma-one.com

Language: English - Date: 2006-12-10 08:21:21
7Theory and Applications of Categories, Vol. 28, No. 6, 2013, pp. 166–205.  TANNAKA DUALITY AND CONVOLUTION FOR DUOIDAL CATEGORIES THOMAS BOOKER AND ROSS STREET Abstract. Given a horizontal monoid M in a duoidal categor

Theory and Applications of Categories, Vol. 28, No. 6, 2013, pp. 166–205. TANNAKA DUALITY AND CONVOLUTION FOR DUOIDAL CATEGORIES THOMAS BOOKER AND ROSS STREET Abstract. Given a horizontal monoid M in a duoidal categor

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2013-04-01 12:23:00
8Theory and Applications of Categories, Vol. 26, No. 8, 2012, pp. 204–232.  A CHARACTERIZATION OF REPRESENTABLE INTERVALS MICHAEL A. WARREN Abstract. In this note we provide a characterization, in terms of additional al

Theory and Applications of Categories, Vol. 26, No. 8, 2012, pp. 204–232. A CHARACTERIZATION OF REPRESENTABLE INTERVALS MICHAEL A. WARREN Abstract. In this note we provide a characterization, in terms of additional al

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2012-04-19 10:11:00
9Theory and Applications of Categories, Vol. 29, No. 19, 2014, pp. 496–541.  SEQUENTIAL MULTICATEGORIES CLAUDIO PISANI Abstract. We study the monoidal closed category of symmetric multicategories, especially in relation

Theory and Applications of Categories, Vol. 29, No. 19, 2014, pp. 496–541. SEQUENTIAL MULTICATEGORIES CLAUDIO PISANI Abstract. We study the monoidal closed category of symmetric multicategories, especially in relation

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2014-09-15 10:43:00
10Theory and Applications of Categories, Vol. 28, No. 8, 2013, pp. 213–240.  TIGHTLY BOUNDED COMPLETIONS MARTA BUNGE Abstract. By a ‘completion’ on a 2-category K we mean here an idempotent pseudomonad on K . We are

Theory and Applications of Categories, Vol. 28, No. 8, 2013, pp. 213–240. TIGHTLY BOUNDED COMPLETIONS MARTA BUNGE Abstract. By a ‘completion’ on a 2-category K we mean here an idempotent pseudomonad on K . We are

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2013-04-18 13:03:00