Select All
PIRSA:13090072

Coalgebras, Models and Logics for Quantum Systems

(2013). Coalgebras, Models and Logics for Quantum Systems. Perimeter Institute. https://pirsa.org/13090072

Talk numberPIRSA:13090072
DOI10.48660/13090072
Collection
Talk Type Scientific Series
Subject

Abstract

Coalgebras are a flexible tool commonly used in computer science to model abstract devices and systems. Coalgebraic models also come with a natural notion of logics for the systems being modelled. In this talk we will introduce coalgebras and aim to illustrate their usefulness for modelling physical systems. Extending earlier work of Abramsky, we will show how a weakening of the usual morphisms for coalgebras provides the flexibility to model quantum systems in an easy to motivate manner. We will then investigate how a natural extension to the usual notion of coalgebraic logic can be used to produce logics for reasoning about quantum systems and protocols. No prior knowledge of coalgebras will be assumed for this talk, and the emphasis throughout will be on examples rather than technical details.