AbstractThis paper gives a simple presentation of the free star-autonomous category over a category, based on Eilenberg–Kelly–MacLane graphs and Trimble rewiring, yielding a full coherence theorem: the commutativity of diagrams of canonical maps is decidable
http://www.lmcs-online.orgInternational audienceIn the first part of this paper we present a theory ...
This paper is about coherence for self-similarity (the categorical iden-tity S ∼ = S ⊗ S), its relat...
We discuss . cyclic star-autonomous categories, that is, unbraided star-autonomouscategories in whic...
AbstractThis paper gives a simple presentation of the free star-autonomous category over a category,...
AbstractThis paper presents a coherence theorem for star-autonomous categories exactly analogous to ...
AbstractThe necessary and sufficient conditions of commutativity of all the diagrams of canonical ma...
AbstractGiven a category with a bifunctor and natural isomorphisms for associativity, commutativity ...
One may define a structure on a category to be a two-dimensional system of generators and relations....
AbstractWe discuss cyclic star-autonomous categories, that is, unbraided star-autonomous categories ...
AbstractWe show that any associativity isomorphism in a category with multiplication is coherent in ...
We study rewriting for equational theories in the context of symmetric monoidal categories where the...
AbstractAn important ingredient of Mac Lane's coherence theorem for monoidal categories is Mac Lane'...
International audienceWe introduce homotopical methods based on rewriting on higher-dimensional cate...
Some sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that a diagra...
We study rewriting for equational theories in the context of symmetric monoidal categories where the...
http://www.lmcs-online.orgInternational audienceIn the first part of this paper we present a theory ...
This paper is about coherence for self-similarity (the categorical iden-tity S ∼ = S ⊗ S), its relat...
We discuss . cyclic star-autonomous categories, that is, unbraided star-autonomouscategories in whic...
AbstractThis paper gives a simple presentation of the free star-autonomous category over a category,...
AbstractThis paper presents a coherence theorem for star-autonomous categories exactly analogous to ...
AbstractThe necessary and sufficient conditions of commutativity of all the diagrams of canonical ma...
AbstractGiven a category with a bifunctor and natural isomorphisms for associativity, commutativity ...
One may define a structure on a category to be a two-dimensional system of generators and relations....
AbstractWe discuss cyclic star-autonomous categories, that is, unbraided star-autonomous categories ...
AbstractWe show that any associativity isomorphism in a category with multiplication is coherent in ...
We study rewriting for equational theories in the context of symmetric monoidal categories where the...
AbstractAn important ingredient of Mac Lane's coherence theorem for monoidal categories is Mac Lane'...
International audienceWe introduce homotopical methods based on rewriting on higher-dimensional cate...
Some sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that a diagra...
We study rewriting for equational theories in the context of symmetric monoidal categories where the...
http://www.lmcs-online.orgInternational audienceIn the first part of this paper we present a theory ...
This paper is about coherence for self-similarity (the categorical iden-tity S ∼ = S ⊗ S), its relat...
We discuss . cyclic star-autonomous categories, that is, unbraided star-autonomouscategories in whic...
DOI
Add to ORKG