Coalgebras, Chu Spaces, and Representations of Physical Systems

  • Samson Abramsky
  • Published 2010 in
    2010 25th Annual IEEE Symposium on Logic in…


We investigate the use of coalgebra to represent quantum systems, thus providing a basis for the use of coalgebraic methods in quantum information and computation. Coalgebras allow the dynamics of repeated measurement to be captured, and provide mathematical tools such as final coalgebras, bisimulation and coalgebraic logic. However, this application raises… (More)
DOI: 10.1109/LICS.2010.35


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics