Conference icon

Conference

Coalgebras, Chu Spaces, and Representations of Physical Systems

Abstract:

We revisit our earlier work on the representation of quantum systems as Chu spaces, and investigate the use of coalgebra as an alternative framework. On the one hand, coalgebras allow the dynamics of repeated measurement to be captured, and provide mathematical tools such as final coalgebras, bisimulation and coalgebraic logic. However, the standard coalgebraic framework does not accommodate contravariance, and is too rigid to allow physical symmetries to be represented. We introduce a fibrat...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1109/LICS.2010.35

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Volume:
abs/0910.3959
Pages:
411-420
Publication date:
2009-10-20
DOI:
ISSN:
1043-6871
URN:
uuid:da0ec168-fcac-4bc3-9554-2b4f3fd30164
Source identifiers:
301364
Local pid:
pubs:301364
ISBN:
978-0-7695-4114-3
Keywords:

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP