Search

• < Previous
• 1
• Next >

---

Bases as Coalgebras

Bart Jacobs.

The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of this comonad are the topic of study in this paper (following earlier work). It is illustrated how such coalgebras-on-algebras can be&nbsp;[&hellip;]

---

Relating Apartness and Bisimulation

Herman Geuvers ; Bart Jacobs.

A bisimulation for a coalgebra of a functor on the category of sets can be described via a coalgebra in the category of relations, of a lifted functor. A final coalgebra then gives rise to the coinduction principle, which states that two bisimilar elements are equal. For polynomial functors, this&nbsp;[&hellip;]

---