Coalgebras, Models and Logics for Quantum Systems

Playing this video requires the latest flash player from Adobe.

Download link (right click and 'save-as') for playing in VLC or other compatible player.

Recording Details

Scientific Areas: 
PIRSA Number: 


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.

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.