Strong functors on many-sorted sets

Paul Blain Levy

doi:10.14712/1213-7243.2019.029

Strong functors on many-sorted sets

Paul Blain Levy

Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

We show that, on a category of many-sorted sets, the only functors that admit a cartesian strength are those that are given componentwise.

Original language	English
Pages (from-to)	533-540
Journal	Commentationes Mathematicae Universitatis Carolinae
Volume	60
Issue number	4
DOIs	https://doi.org/10.14712/1213-7243.2019.029
Publication status	Published - 1 Dec 2019

Keywords

Strong functor
strong monad
many-sorted sets

Access to Document

10.14712/1213-7243.2019.029

Cite this

@article{83c2cbf62fb44fdf845cb1d87fe2c1eb,

title = "Strong functors on many-sorted sets",

abstract = "We show that, on a category of many-sorted sets, the only functors that admit a cartesian strength are those that are given componentwise.",

keywords = "Strong functor, strong monad, many-sorted sets",

author = "Levy, \{Paul Blain\}",

year = "2019",

month = dec,

day = "1",

doi = "10.14712/1213-7243.2019.029",

language = "English",

volume = "60",

pages = "533--540",

journal = "Commentationes Mathematicae Universitatis Carolinae",

issn = "0010-2628",

publisher = "Univerzita Karlova v Praze",

number = "4",

}

TY - JOUR

T1 - Strong functors on many-sorted sets

AU - Levy, Paul Blain

PY - 2019/12/1

Y1 - 2019/12/1

N2 - We show that, on a category of many-sorted sets, the only functors that admit a cartesian strength are those that are given componentwise.

AB - We show that, on a category of many-sorted sets, the only functors that admit a cartesian strength are those that are given componentwise.

KW - Strong functor

KW - strong monad

KW - many-sorted sets

UR - https://cmuc.karlin.mff.cuni.cz/

U2 - 10.14712/1213-7243.2019.029

DO - 10.14712/1213-7243.2019.029

M3 - Article

SN - 0010-2628

VL - 60

SP - 533

EP - 540

JO - Commentationes Mathematicae Universitatis Carolinae

JF - Commentationes Mathematicae Universitatis Carolinae

IS - 4

ER -

Strong functors on many-sorted sets

Abstract

Keywords

Access to Document

Fingerprint

Cite this