This dissertation supports the broader thesis that categorical semantics is a powerful tool to
study and design programming languages. It focuses on the foundational aspects of …