Voir la notice de l'article provenant de la source Numdam
Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in cartesian categories.
@article{ITA_2003__37_4_273_0,
author = {Benton, Nick and Hyland, Martin},
title = {Traced premonoidal categories},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {273--299},
publisher = {EDP-Sciences},
volume = {37},
number = {4},
year = {2003},
doi = {10.1051/ita:2003020},
mrnumber = {2053028},
zbl = {1110.68356},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.1051/ita:2003020/}
}
TY - JOUR AU - Benton, Nick AU - Hyland, Martin TI - Traced premonoidal categories JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2003 SP - 273 EP - 299 VL - 37 IS - 4 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/articles/10.1051/ita:2003020/ DO - 10.1051/ita:2003020 LA - en ID - ITA_2003__37_4_273_0 ER -
%0 Journal Article %A Benton, Nick %A Hyland, Martin %T Traced premonoidal categories %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2003 %P 273-299 %V 37 %N 4 %I EDP-Sciences %U http://geodesic.mathdoc.fr/articles/10.1051/ita:2003020/ %R 10.1051/ita:2003020 %G en %F ITA_2003__37_4_273_0
Benton, Nick; Hyland, Martin. Traced premonoidal categories. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 37 (2003) no. 4, pp. 273-299. doi: 10.1051/ita:2003020
Cité par Sources :