Bas Westerbaan

home

Pure maps between Euclidean Jordan Algebras

29 May 2018 [ arXiv · EPTCS ]

We propose a definition of purity for positive linear maps between Euclidean Jordan Algebras.

We show that this definition of purity is closed under composition and taking adjoints and thus that the pure maps form a dagger category (which sets it apart from other possible definitions.) In fact, from the results presented in this paper, it follows that the category of EJAs with positive contractive linear maps is a dagger-effectus, a type of structure originally defined to study von Neumann algebras in an abstract categorical setting.