I am a PhD candidate in the Department of Computer Science at University College London. My advisor is Simone Severini. I am interested in the mathematical foundations of theoretical computer science, specifically in the categorical semantics of quantum information. I am part of UCL computer science quantum interest group. My academic email address is ucaboza@ucl.ac.uk. The spirit of my research follows the tradition of using category theory to combine concepts across disciplines that are not yet related, with the hope of provide sensible definitions at a formal level and then use them to single out fundamental aspects along with potential new applications. This sentence contains my link to the arXiv.