11:00
What does abstract nonsense (category theory) have to do with the apparently opposite proverbial concreteness of physics? In this talk I will try to convey the importance of understanding physical theories from a compositional and structural perspective, where the fundamental logic of interaction between systems becomes the real protagonist. Firstly, we will see how different classes of symmetric monoidal categories can be used to model physical processes in a very natural and intuitive way. We will then explore the claim that category theory is not only useful in providing a unified framework, but it can be also used to perfect and modify preexistent models. In this direction, I will show how the introduction of a trace in the symmetric monoidal category describing QIT can be used to talk about quantum interactions induced by cyclic causal relationships.