AbstractWe show that any associativity isomorphism in a category with multiplication is coherent in the sense of MacLane if the operations for building new isomorphisms from it are restricted so that tensoring with the identity is only allowed on the right instead of on both the right and the left. With this restriction, coherence is obtained without the assumption that the pentagon diagram commutes
AbstractThis paper gives a simple presentation of the free star-autonomous category over a category,...
Mac Lane's coherence theorem states that all diagrams in the free monoidal category commute. In...
We call a finitely complete category algebraically coherent if the change-of-base functors of its fi...
AbstractWe show that any associativity isomorphism in a category with multiplication is coherent in ...
ABSTRACT. Coherence phenomena appear in two different situations. In the context of category theory ...
This paper is about coherence for self-similarity (the categorical iden-tity S ∼ = S ⊗ S), its relat...
A symmetric monoidal category is a category equipped with an associative and commutative (binary) pr...
I motivate a variation (due to K. Szlachányi) of monoidal categories called skew-monoidal categorie...
I motivate a variation (due to K. Szlachányi) of monoidal categories called skew-monoidal categorie...
AbstractGiven a category with a bifunctor and natural isomorphisms for associativity, commutativity ...
(Joint work with Alan S. Cigoli and James R. A. Gray) In a recent article, we call a regular categor...
AbstractMacLane's original introduction to the theory of monoidal categories presented a short argum...
A coherent presentation of an n-category is a presentation by generators, relations and relations am...
Fortunately, there is no such semantic gap: in this paper we provide a coherence theorem for the dou...
An operad (this paper deals with non-symmetric operads)may be conceived as apartial algebra with a f...
AbstractThis paper gives a simple presentation of the free star-autonomous category over a category,...
Mac Lane's coherence theorem states that all diagrams in the free monoidal category commute. In...
We call a finitely complete category algebraically coherent if the change-of-base functors of its fi...
AbstractWe show that any associativity isomorphism in a category with multiplication is coherent in ...
ABSTRACT. Coherence phenomena appear in two different situations. In the context of category theory ...
This paper is about coherence for self-similarity (the categorical iden-tity S ∼ = S ⊗ S), its relat...
A symmetric monoidal category is a category equipped with an associative and commutative (binary) pr...
I motivate a variation (due to K. Szlachányi) of monoidal categories called skew-monoidal categorie...
I motivate a variation (due to K. Szlachányi) of monoidal categories called skew-monoidal categorie...
AbstractGiven a category with a bifunctor and natural isomorphisms for associativity, commutativity ...
(Joint work with Alan S. Cigoli and James R. A. Gray) In a recent article, we call a regular categor...
AbstractMacLane's original introduction to the theory of monoidal categories presented a short argum...
A coherent presentation of an n-category is a presentation by generators, relations and relations am...
Fortunately, there is no such semantic gap: in this paper we provide a coherence theorem for the dou...
An operad (this paper deals with non-symmetric operads)may be conceived as apartial algebra with a f...
AbstractThis paper gives a simple presentation of the free star-autonomous category over a category,...
Mac Lane's coherence theorem states that all diagrams in the free monoidal category commute. In...
We call a finitely complete category algebraically coherent if the change-of-base functors of its fi...
DOI
Add to ORKG