Add to ORKGABSTRACT. We show, for a monad T, that coalgebra structures on a T-algebra can be described in terms of “braidings”, provided that the monad is equipped with an invertible distributive law satisfying the Yang-Baxter equation. 1
The Yang-Baxter equation first appeared in a paper by the Nobel laureate, C.N. Yang, and in R.J. Bax...
We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the ...
We discuss Osius’s [22] concept of a recursive coalgebra of a functor from the perspective of progra...
We show, for a monad T, that coalgebra structures on a T-algebra can be described in terms of “braid...
htmlabstractDistributive laws of a monad T over a functor F are categorical tools for specifying al...
Abstract. Distributive laws of a monad T over a functor F are categor-ical tools for specifying alge...
AbstractWe show that coalgebras whose lattice of right coideals is distributive are coproducts of co...
We show that the two coproducts of a Markov $L$-coalgebra yield at least two solutions of the Yang-B...
International audienceWe give a categorical perspective on various product rules, including Brzozows...
Distributive laws between monads (triples) were defined by Jon Beck in the 1960s. They were generali...
AbstractWe generalise the notion of a distributive law between a monad and a comonad to consider wea...
AbstractCoalgebra develops a general theory of transition systems, parametric in a functor T; the fu...
We revisit our earlier work on the representation of quantum systems as Chu spaces, and investigate ...
We revisit our earlier work on the representation of quantum systems as Chu spaces, and investigate ...
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T ...
The Yang-Baxter equation first appeared in a paper by the Nobel laureate, C.N. Yang, and in R.J. Bax...
We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the ...
We discuss Osius’s [22] concept of a recursive coalgebra of a functor from the perspective of progra...
We show, for a monad T, that coalgebra structures on a T-algebra can be described in terms of “braid...
htmlabstractDistributive laws of a monad T over a functor F are categorical tools for specifying al...
Abstract. Distributive laws of a monad T over a functor F are categor-ical tools for specifying alge...
AbstractWe show that coalgebras whose lattice of right coideals is distributive are coproducts of co...
We show that the two coproducts of a Markov $L$-coalgebra yield at least two solutions of the Yang-B...
International audienceWe give a categorical perspective on various product rules, including Brzozows...
Distributive laws between monads (triples) were defined by Jon Beck in the 1960s. They were generali...
AbstractWe generalise the notion of a distributive law between a monad and a comonad to consider wea...
AbstractCoalgebra develops a general theory of transition systems, parametric in a functor T; the fu...
We revisit our earlier work on the representation of quantum systems as Chu spaces, and investigate ...
We revisit our earlier work on the representation of quantum systems as Chu spaces, and investigate ...
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T ...
The Yang-Baxter equation first appeared in a paper by the Nobel laureate, C.N. Yang, and in R.J. Bax...
We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the ...
We discuss Osius’s [22] concept of a recursive coalgebra of a functor from the perspective of progra...