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;]

---

Generic Trace Semantics via Coinduction

Ichiro Hasuo ; Bart Jacobs ; Ana Sokolova.

Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability. In this paper we claim to identify one underlying mathematical structure behind these "trace semantics," namely coinduction in a Kleisli&nbsp;[&hellip;]

---