Search

• < Previous
• 1
• Next >

---

Distances between States and between Predicates

Bart Jacobs ; Abraham Westerbaan.

This paper gives a systematic account of various metrics on probability distributions (states) and on predicates. These metrics are described in a uniform manner using the validity relation between states and predicates. The standard adjunction between convex sets (of states) and effect modules (of&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;]

---