  In this dissertation we study the category of completely positive normal
contractive maps between von Neumann algebras. It includes an extensive
introduction to the basic theory of $C^*$-algebras and von Neumann algebras.
