1996
DOI: 10.1017/s0305004100074338
|View full text |Cite
|
Sign up to set email alerts
|

Traced monoidal categories

Abstract: Traced monoidal categories are introduced, a structure theorem is proved for them, and an example is provided where the structure theorem has application.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

1
558
0
1

Year Published

2005
2005
2013
2013

Publication Types

Select...
7
1

Relationship

0
8

Authors

Journals

citations
Cited by 385 publications
(560 citation statements)
references
References 11 publications
1
558
0
1
Order By: Relevance
“…These lemmas show that T has enough structure so that we can apply the Int construction [12,9] (with respect to coproducts) to it and obtain a category Int(T) that models interactive computation. We shall describe the interpretation of terms in Int(T) concretely and refer to loc.…”
Section: Definitionmentioning
confidence: 97%
See 2 more Smart Citations
“…These lemmas show that T has enough structure so that we can apply the Int construction [12,9] (with respect to coproducts) to it and obtain a category Int(T) that models interactive computation. We shall describe the interpretation of terms in Int(T) concretely and refer to loc.…”
Section: Definitionmentioning
confidence: 97%
“…For example Ghica et al have developed methods for hardware synthesis based on game semantics [7]. A related semantic approach based on the Int construction [12] has been the used to design a functional programming language for sublinear space computation [4].…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation
“…The first step in constructing a model of INTML[WEC] from a model of WEC is to apply the Int-construction [11] to the category of computations. This construction is wellknown in the context of game semantics; it has been used by Abramsky and Jagadeesan to model AJM-games [2].…”
Section: Trace and Int-constructionmentioning
confidence: 99%
“…and specifically [5] for the algebraic presentation of multiset relations), even if mostly relevant in recent years have been the graphical characterization of traced monoidal categories [6], and their duality with compact closed categories.…”
mentioning
confidence: 99%