TY - RPRT TI - Stinespring's construction as an adjunction AU - Arthur J. Parzygnat PY - 2019 DO - 10.32408/compositionality-1-2 UR - https://arxiv.org/abs/1807.02533 ID - 1807.02533 ER -