Involutive Categories and Monoids, with a GNS-Correspondence
نویسندگان
چکیده
منابع مشابه
Involutive Categories and Monoids, with a GNS-correspondence
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. A part of the so-called Gelfand–Naimark–Segal (GNS) construction is ide...
متن کاملOn Involutive Monoidal Categories
In this paper, we consider a non-posetal analogue of the notion of involutive quantale [MP92]; specifically, a (planar) monoidal category equipped with a covariant involution that reverses the order of tensoring. We study the coherence issues that inevitably result when passing from posets to categories; we also link our subject with other notions already in the literature, such as balanced mon...
متن کاملDialogue Categories and Frobenius Monoids
Higher topological quantum field theory and categorical quantum mechanics
متن کاملDecreasing proof orders Interpreting conversions in involutive monoids
We introduce the decreasing proof order. It orders a conversion above another conversion if the latter is obtained by filling any peak in the former by a decreasing diagram. The result is developed in the setting of involutive monoids.
متن کاملA Correspondence between Balanced Varieties and Inverse Monoids
There is a well-known correspondence between varieties of algebras and fully invariant congruences on the appropriate term algebra. A special class of varieties are those which are balanced, meaning they can be described by equations in which the same variables appear on each side. In this paper, we prove that the above correspondence, restricted to balanced varieties, leads to a correspondence...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Foundations of Physics
سال: 2011
ISSN: 0015-9018,1572-9516
DOI: 10.1007/s10701-011-9595-7