Polycategories via pseudo-distributive laws

Richard Garner

doi:10.1016/j.aim.2008.02.001

Polycategories via pseudo-distributive laws

Richard Garner^*

^*Corresponding author for this work

Research output: Contribution to journal › Article

6 Citations (Scopus)

Abstract

In this paper, we give a novel abstract description of Szabo's polycategories. We use the theory of double clubs - a generalisation of Kelly's theory of clubs to 'pseudo' (or 'weak') double categories - to construct a pseudo-distributive law of the free symmetric strict monoidal category pseudocomonad on Mod over itself qua pseudomonad, and show that monads in the 'two-sided Kleisli bicategory' of this pseudo-distributive law are precisely symmetric polycategories.

Original language	English
Pages (from-to)	781-827
Number of pages	47
Journal	Advances in Mathematics
Volume	218
Issue number	3
DOIs	https://doi.org/10.1016/j.aim.2008.02.001
Publication status	Published - 20 Jun 2008
Externally published	Yes

Keywords

Clubs
Polycategory
Pseudo double category
Pseudo-distributive law
Pseudomonad

Access to Document

10.1016/j.aim.2008.02.001

Link to publication in Scopus

Fingerprint Dive into the research topics of 'Polycategories via pseudo-distributive laws'. Together they form a unique fingerprint.

Cite this

@article{7d5e0fd009e747458cfb5a5be841b406,

title = "Polycategories via pseudo-distributive laws",

abstract = "In this paper, we give a novel abstract description of Szabo's polycategories. We use the theory of double clubs - a generalisation of Kelly's theory of clubs to 'pseudo' (or 'weak') double categories - to construct a pseudo-distributive law of the free symmetric strict monoidal category pseudocomonad on Mod over itself qua pseudomonad, and show that monads in the 'two-sided Kleisli bicategory' of this pseudo-distributive law are precisely symmetric polycategories.",

keywords = "Clubs, Polycategory, Pseudo double category, Pseudo-distributive law, Pseudomonad",

author = "Richard Garner",

year = "2008",

month = "6",

day = "20",

doi = "10.1016/j.aim.2008.02.001",

language = "English",

volume = "218",

pages = "781--827",

journal = "Advances in Mathematics",

issn = "0001-8708",

publisher = "Elsevier",

number = "3",

}

TY - JOUR

T1 - Polycategories via pseudo-distributive laws

AU - Garner, Richard

PY - 2008/6/20

Y1 - 2008/6/20

N2 - In this paper, we give a novel abstract description of Szabo's polycategories. We use the theory of double clubs - a generalisation of Kelly's theory of clubs to 'pseudo' (or 'weak') double categories - to construct a pseudo-distributive law of the free symmetric strict monoidal category pseudocomonad on Mod over itself qua pseudomonad, and show that monads in the 'two-sided Kleisli bicategory' of this pseudo-distributive law are precisely symmetric polycategories.

AB - In this paper, we give a novel abstract description of Szabo's polycategories. We use the theory of double clubs - a generalisation of Kelly's theory of clubs to 'pseudo' (or 'weak') double categories - to construct a pseudo-distributive law of the free symmetric strict monoidal category pseudocomonad on Mod over itself qua pseudomonad, and show that monads in the 'two-sided Kleisli bicategory' of this pseudo-distributive law are precisely symmetric polycategories.

KW - Clubs

KW - Polycategory

KW - Pseudo double category

KW - Pseudo-distributive law

KW - Pseudomonad

UR - http://www.scopus.com/inward/record.url?scp=41849105332&partnerID=8YFLogxK

U2 - 10.1016/j.aim.2008.02.001

DO - 10.1016/j.aim.2008.02.001

M3 - Article

VL - 218

SP - 781

EP - 827

JO - Advances in Mathematics

JF - Advances in Mathematics

SN - 0001-8708

IS - 3

ER -