Learn More
<lb>Coinductive predicates express persisting “safety” specifications of transition systems. Previous<lb>observations by Hermida and Jacobs identify coinductive predicates as suitable final coalgebras<lb>in a fibration—a categorical abstraction of predicate logic. In this paper we follow the spirit of<lb>a seminal work by Worrell and study final sequences(More)
Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic, but also in probabilistic and classical logic. This relation is presented by a long series of examples, some of them(More)
  • 1