Add to ORKGfocus on a simple observation that a traced monoidal category C is closed if and only if the canonical inclusion from C into IntC has a right adjoint. Thus, every traced monoidal closed category arises as a monoidal co-reflexive full subcategory of a tortile monoidal category. From this, we derive a series of facts for traced models of linear logic, and some for models of fixed-point computation. To make the paper more self-contained, we also include various background results for traced monoidal categories. 1
In a word, sometimes. And it gets harder if the structure on L is not commutative. In this paper we ...
We introduce regular languages of morphisms in free monoidal categories, with their associated gramm...
Abstract. By the Lefschetz fixed point theorem, if an endomorphism of a topological space is fixed-p...
The structure theorem of Joyal, Street and Verity says that every traced monoida
The notion of trace in a monoidal category has been introduced to give a categorical account of a si...
grantor: University of TorontoIn this thesis we explore some uncharted areas of the theory...
The main result of this paper shows how coalgebraic traces, in suitable Kleisli categories, give ris...
AbstractThe main result of this paper shows how coalgebraic traces, in suitable Kleisli categories, ...
AbstractThis paper deals with questions relating to Haghverdi and Scott’s notion of partially traced...
A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators,...
We introduce a notion of category with feedback-with-delay, closely related to the notion of traced ...
AbstractMorita equivalence has been studied for categories enriched over a monoidal category. For su...
This is a report on aspects of the theory and use of monoidal categories. The first section introduc...
AbstractThis is the first of a series of papers on coherence completions of categories. Here we show...
Abstract. By the Lefschetz fixed point theorem, if an endomorphism of a topological space is fixed-p...
In a word, sometimes. And it gets harder if the structure on L is not commutative. In this paper we ...
We introduce regular languages of morphisms in free monoidal categories, with their associated gramm...
Abstract. By the Lefschetz fixed point theorem, if an endomorphism of a topological space is fixed-p...
The structure theorem of Joyal, Street and Verity says that every traced monoida
The notion of trace in a monoidal category has been introduced to give a categorical account of a si...
grantor: University of TorontoIn this thesis we explore some uncharted areas of the theory...
The main result of this paper shows how coalgebraic traces, in suitable Kleisli categories, give ris...
AbstractThe main result of this paper shows how coalgebraic traces, in suitable Kleisli categories, ...
AbstractThis paper deals with questions relating to Haghverdi and Scott’s notion of partially traced...
A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators,...
We introduce a notion of category with feedback-with-delay, closely related to the notion of traced ...
AbstractMorita equivalence has been studied for categories enriched over a monoidal category. For su...
This is a report on aspects of the theory and use of monoidal categories. The first section introduc...
AbstractThis is the first of a series of papers on coherence completions of categories. Here we show...
Abstract. By the Lefschetz fixed point theorem, if an endomorphism of a topological space is fixed-p...
In a word, sometimes. And it gets harder if the structure on L is not commutative. In this paper we ...
We introduce regular languages of morphisms in free monoidal categories, with their associated gramm...
Abstract. By the Lefschetz fixed point theorem, if an endomorphism of a topological space is fixed-p...
