Geodesic
Traced premonoidal categories
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 37 (2003) no. 4, pp. 273-299 Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'article

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.

DOI : 10.1051/ita:2003020
Classification : 68N18, 03B70, 03G30
Keywords: traces, fixed point operators, premonoidal categories, recursion, monads 
@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},
     year = {2003},
     publisher = {EDP-Sciences},
     volume = {37},
     number = {4},
     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 :