Computer Science – Logic in Computer Science
Scientific paper
2010-03-23
Computer Science
Logic in Computer Science
Scientific paper
This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids. It is shown how categories of Eilenberg-Moore algebras of involutive monads are involutive, with conjugation for modules and vector spaces as special case. The core of the so-called Gelfand-Naimark-Segal (GNS) construction is identified as a bijective correspondence between states on involutive monoids and inner products. This correspondence exists in arbritrary involutive categories.
No associations
LandOfFree
Involutive Categories and Monoids, with a GNS-correspondence 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 Involutive Categories and Monoids, with a GNS-correspondence, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Involutive Categories and Monoids, with a GNS-correspondence will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-56677