Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories

Details Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories

2009-10-15

arxiv.org/abs/0910.2931v1

In Proceedings of CALCO 2005, Springer Lecture Notes in Computer Science Vol. 3629, 1--31, 2005

Physics

Quantum Physics

32 pages

Scientific paper

We study structures which have arisen in recent work by the present author and Bob Coecke on a categorical axiomatics for Quantum Mechanics; in particular, the notion of strongly compact closed category. We explain how these structures support a notion of scalar which allows quantitative aspects of physical theory to be expressed, and how the notion of strong compact closure emerges as a significant refinement of the more classical notion of compact closed category. We then proceed to an extended discussion of free constructions for a sequence of progressively more complex kinds of structured category, culminating in the strongly compact closed case. The simple geometric and combinatorial ideas underlying these constructions are emphasized. We also discuss variations where a prescribed monoid of scalars can be "glued in" to the free construction.

Affiliated with

Also associated with

No associations

Rating

Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories 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 Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-620522