Strong functors on many-sorted sets
Commentationes Mathematicae Universitatis Carolinae (2019)
- Volume: 60, Issue: 4, page 533-540
- ISSN: 0010-2628
Access Full Article
topAbstract
topHow to cite
topLevy, Paul B.. "Strong functors on many-sorted sets." Commentationes Mathematicae Universitatis Carolinae 60.4 (2019): 533-540. <http://eudml.org/doc/295057>.
@article{Levy2019,
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.},
author = {Levy, Paul B.},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {strong functor; strong monad; many-sorted set},
language = {eng},
number = {4},
pages = {533-540},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Strong functors on many-sorted sets},
url = {http://eudml.org/doc/295057},
volume = {60},
year = {2019},
}
TY - JOUR
AU - Levy, Paul B.
TI - Strong functors on many-sorted sets
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 2019
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 60
IS - 4
SP - 533
EP - 540
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.
LA - eng
KW - strong functor; strong monad; many-sorted set
UR - http://eudml.org/doc/295057
ER -
References
top- Adámek J., Trnková V., 10.1017/S0960129510000502, Math. Structures Comput. Sci. 21 (2011), no. 2, 481–509. MR2784610DOI10.1017/S0960129510000502
- Kock A., 10.1007/BF01304852, Arch. Math. (Basel) 23 (1972), 113–120. MR0304456DOI10.1007/BF01304852
- Moggi E., Notions of computation and monads, Selections from the 1989 IEEE Symposium on Logic in Computer Science, Inform. Computat. 93 (1991), no. 1, 55–92. MR1115262
- Trnková V., Some properties of set functors, Comment. Math. Univ. Carolinae 10 (1969), 323–352. MR0252474
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.