Coalgebras, Chu Spaces, and Representations of Physical Systems

Details Coalgebras, Chu Spaces, and Representations of Physical Systems Coalgebras, Chu Spaces, and Representations of Physical Systems

2009-10-20

arxiv.org/abs/0910.3959v1

Physics

Quantum Physics

25 pages

Scientific paper

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 fibrational structure on coalgebras in which contravariance is represented by indexing. We use this structure to give a universal semantics for quantum systems based on a final coalgebra construction. We characterize equality in this semantics as projective equivalence. We also define an analogous indexed structure for Chu spaces, and use this to obtain a novel categorical description of the category of Chu spaces. We use the indexed structures of Chu spaces and coalgebras over a common base to define a truncation functor from coalgebras to Chu spaces. This truncation functor is used to lift the full and faithful representation of the groupoid of physical symmetries on Hilbert spaces into Chu spaces, obtained in our previous work, to the coalgebraic semantics.

Affiliated with

Also associated with

No associations

Rating

Coalgebras, Chu Spaces, and Representations of Physical Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Coalgebras, Chu Spaces, and Representations of Physical Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Coalgebras, Chu Spaces, and Representations of Physical Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-143426