Quantum computations have two ingredients: unitary gates forming reversible circuits, and irreversible measurements. The theory of quantum computation is at heart therefore about how these ingredients combine. We will discuss two universal constructions modelling these ingredients in terms of rig categories. Together they give a semantics that is sound, complete, computationally universal, fully equational, and conceptually satisfying. (Based on joint work with Pablo Andres-Martinez, Jacques Carette, Robin Kaarsgaard, Neil Julien Ross, and Amr Sabry.) * 줌회의실 개별공지