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
In a recent article, we call a regular category algebraically coherent when the change-of-base funct...
An operad (this paper deals with non-symmetric operads)may be conceived as apartial algebra with a f...
AbstractThere are two well-known methods for constructing the ‘connecting homomorphism’ in homologic...
AbstractWe show that any associativity isomorphism in a category with multiplication is coherent in ...
AbstractGiven a category with a bifunctor and natural isomorphisms for associativity, commutativity ...
AbstractThe necessary and sufficient conditions of commutativity of all the diagrams of canonical ma...
This paper is about coherence for self-similarity (the categorical iden-tity S ∼ = S ⊗ S), its relat...
ABSTRACT. Coherence phenomena appear in two different situations. In the context of category theory ...
AbstractThis paper gives a simple presentation of the free star-autonomous category over a category,...
AbstractAn important ingredient of Mac Lane's coherence theorem for monoidal categories is Mac Lane'...
AbstractWe discuss cyclic star-autonomous categories, that is, unbraided star-autonomous categories ...
AbstractMacLane's original introduction to the theory of monoidal categories presented a short argum...
AbstractProofs of propositions about ordinary categories, e.g. the Yoneda Lemma, may often be reinte...
We prove that a large class of natural transformations (consisting roughly of those constructed via ...
Abstract. We prove that a large class of natural transformations (consisting roughly of those constr...
In a recent article, we call a regular category algebraically coherent when the change-of-base funct...
An operad (this paper deals with non-symmetric operads)may be conceived as apartial algebra with a f...
AbstractThere are two well-known methods for constructing the ‘connecting homomorphism’ in homologic...
AbstractWe show that any associativity isomorphism in a category with multiplication is coherent in ...
AbstractGiven a category with a bifunctor and natural isomorphisms for associativity, commutativity ...
AbstractThe necessary and sufficient conditions of commutativity of all the diagrams of canonical ma...
This paper is about coherence for self-similarity (the categorical iden-tity S ∼ = S ⊗ S), its relat...
ABSTRACT. Coherence phenomena appear in two different situations. In the context of category theory ...
AbstractThis paper gives a simple presentation of the free star-autonomous category over a category,...
AbstractAn important ingredient of Mac Lane's coherence theorem for monoidal categories is Mac Lane'...
AbstractWe discuss cyclic star-autonomous categories, that is, unbraided star-autonomous categories ...
AbstractMacLane's original introduction to the theory of monoidal categories presented a short argum...
AbstractProofs of propositions about ordinary categories, e.g. the Yoneda Lemma, may often be reinte...
We prove that a large class of natural transformations (consisting roughly of those constructed via ...
Abstract. We prove that a large class of natural transformations (consisting roughly of those constr...
In a recent article, we call a regular category algebraically coherent when the change-of-base funct...
An operad (this paper deals with non-symmetric operads)may be conceived as apartial algebra with a f...
AbstractThere are two well-known methods for constructing the ‘connecting homomorphism’ in homologic...
DOI
Add to ORKG