This doctoral thesis is a mathematical study of quantum computing,
concentrating on two related, but independent topics. First up are dilations,
covered in chapter 2. In chapter 3 "diamond, andthen, dagger" we turn to the
second topic: effectus theory. Both chapters, or rather parts, can be read
separately and feature a comprehensive introduction of their own