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

---

Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories

Bart Jacobs.

This paper is a sequel to arXiv:0902.2355 and continues the study of quantum logic via dagger kernel categories. It develops the relation between these categories and both orthomodular lattices and Foulis semigroups. The relation between the latter two notions has been uncovered in the 1960s. The&nbsp;[&hellip;]

---

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality

Robert W. J. Furber ; Bart P. F. Jacobs.

C*-algebras form rather general and rich mathematical structures that can be studied with different morphisms (preserving multiplication, or not), and with different properties (commutative, or not). These various options can be used to incorporate various styles of computation (set-theoretic,&nbsp;[&hellip;]

---

Featherweight VeriFast

Bart Jacobs ; Frédéric Vogels ; Frank Piessens.

VeriFast is a leading research prototype tool for the sound modular verification of safety and correctness properties of single-threaded and multithreaded C and Java programs. It has been used as a vehicle for exploration and validation of novel program verification techniques and for industrial&nbsp;[&hellip;]

---

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

Bart Jacobs.

Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold. The algebraic notions of effect algebra/module that emerged in theoretical physics form&nbsp;[&hellip;]

---

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

---