… We show that coalgebras whose lattice of right coideals is distributive are coproducts of … We
will show that any distributive coalgebra over a field k is a coproduct of chain coalgebras and …

… We show that coalgebras whose lattice of right coideals is distributive are coproducts of …
We will show that any distributive coalgebra over a field k is a coproduct of chain coalgebras, …

… We will show that any distributive coalgebra over a field k is a coproduct of chain coalgebras
… Hence we will simply refer to right chain coalgebras as chain coalgebras. As mentioned in …

… (in) equations in distributive lattice expansions to show that distributive substructural logics
are … By formalizing the problem in the language of coalgebraic logics, we develop a modular …

… self-distributive structures in the categories of coalgebras and cocommutative coalgebras. We
… To help keep track of the chain groups and their indices, we include the diagram in Fig. 22. …

… distributive substructural logics in a coalgebraic way, we use an (enriched) logical connection
[27,31] between categories Pos of posets and DL of distributive … two-element chain) that …

… distributive law FP⇒PF that forms the basis of our work, and Section 5 introduces an appropriate
category of coalgebras … limits of ω-chains, so that its final coalgebra Z can be described …

… to check that the assumed chain of adjunctions b ⊣ c ⊣ a ⊣ ηX is related to the chain T(ac) …
Assume a distributive category A, that is, a category with finite products (×,1) and coproducts …

… are thus applications of distributive laws in the coalgebraic study of dynamic systems. And
when we instantiate our results on generalised coinduction with the distributive laws resulting …

… order on a final coalgebra into a dcpo structure in presence of a certain distributive law, or
… We shall write Z for the limit in Sets of the -chain 1 ← F(1) ← F2(1) ← ···, with projections n: Z …