DeepAI AI Chat
Log In Sign Up

Universal Properties of Partial Quantum Maps

by   Pablo Andrés-Martínez, et al.

We provide a universal construction of the category of finite-dimensional C*-algebras and completely positive trace-nonincreasing maps from the rig category of finite-dimensional Hilbert spaces and unitaries. This construction, which can be applied to any dagger rig category, is described in three steps, each associated with their own universal property, and draws on results from dilation theory in finite dimension. In this way, we explicitly construct the category that captures hybrid quantum/classical computation with possible nontermination from the category of its reversible foundations. We discuss how this construction can be used in the design and semantics of quantum programming languages.


page 1

page 2

page 3

page 4


Universal Properties in Quantum Theory

We argue that notions in quantum theory should have universal properties...

Quantum Information Effects

We study the two dual quantum information effects to manipulate the amou...

Bennett and Stinespring, Together at Last

We present a universal construction that relates reversible dynamics on ...

Monads, partial evaluations, and rewriting

Monads can be interpreted as encoding formal expressions, or formal oper...

Factorizing the Top-Loc adjunction through positive topologies

We characterize the category of Sambin's positive topologies as a fibrat...

Quantum theory in finite dimension cannot explain every general process with finite memory

Arguably, the largest class of stochastic processes generated by means o...

A Characterization of Entropy as a Universal Monoidal Natural Transformation

We show that the essential properties of entropy (monotonicity, additivi...