AbstractThe necessary and sufficient conditions of commutativity of all the diagrams of canonical maps in any closed category V are obtained. The main condition is that for every object A in V the first dual A∗ is isomorphic to the third dual A∗∗∗. It is also shown that isomorphism of A and A∗∗ (without additional conditions) is sufficient for full coherence
AbstractUnder the hypothesis that the distinguished object I of a compact closed category is a gener...
AbstractAn extension of the notion of dinatural transformation is introduced in order to give a crit...
AbstractThis paper proves that (linear) quasi-isomorphisms and monomorphisms define a closed model c...
Some sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that a diagra...
AbstractSome sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that ...
AbstractThis paper gives a simple presentation of the free star-autonomous category over a category,...
A symmetric monoidal category is a category equipped with an associative and commutative (binary) pr...
AbstractWe study the coherence, that is the equality of canonical natural transformations in non-fre...
We prove that a large class of natural transformations (consisting roughly of those constructed via ...
AbstractMany categorical axioms assert that a particular canonically defined natural transformation ...
AbstractWe show that any associativity isomorphism in a category with multiplication is coherent in ...
Abstract. We prove that a large class of natural transformations (consisting roughly of those constr...
AbstractProofs of propositions about ordinary categories, e.g. the Yoneda Lemma, may often be reinte...
One may define a structure on a category to be a two-dimensional system of generators and relations....
AbstractA new and simple method of describing all canonical natural transformations on closed catego...
AbstractUnder the hypothesis that the distinguished object I of a compact closed category is a gener...
AbstractAn extension of the notion of dinatural transformation is introduced in order to give a crit...
AbstractThis paper proves that (linear) quasi-isomorphisms and monomorphisms define a closed model c...
Some sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that a diagra...
AbstractSome sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that ...
AbstractThis paper gives a simple presentation of the free star-autonomous category over a category,...
A symmetric monoidal category is a category equipped with an associative and commutative (binary) pr...
AbstractWe study the coherence, that is the equality of canonical natural transformations in non-fre...
We prove that a large class of natural transformations (consisting roughly of those constructed via ...
AbstractMany categorical axioms assert that a particular canonically defined natural transformation ...
AbstractWe show that any associativity isomorphism in a category with multiplication is coherent in ...
Abstract. We prove that a large class of natural transformations (consisting roughly of those constr...
AbstractProofs of propositions about ordinary categories, e.g. the Yoneda Lemma, may often be reinte...
One may define a structure on a category to be a two-dimensional system of generators and relations....
AbstractA new and simple method of describing all canonical natural transformations on closed catego...
AbstractUnder the hypothesis that the distinguished object I of a compact closed category is a gener...
AbstractAn extension of the notion of dinatural transformation is introduced in order to give a crit...
AbstractThis paper proves that (linear) quasi-isomorphisms and monomorphisms define a closed model c...
DOI
Add to ORKG