Category Theory in Communication, Cryptography, and Security
- When: Friday, 10/23/2020, between 1pm and 2pm, EDT
- Where: Zoom; Outside guests please RSVP by emailing Harley Eades
- YouTube Recording: https://youtu.be/Njw5Aad-gBQ
This talk is intended as an introduction to some of the basics and fundamentals of category theory, with particular emphasis on why they might be of interest to researchers in communication, cryptography, and security (CCS). No previous knowledge of category theory is assumed, although some basic algebra (groups, monoids, homomorphisms, quotients, etc.) will be required at times.
Despite its reputation as a highly abstract subject, best suited to the foundations of mathematics and logic, a more recent trend has been to see category theory – and categorical reasoning generally – as a very practical tool. It is now used in a wide range of fields, from its early adoption in computer science to more recent applications in quantum protocols, linguistics and natural language processing, and cognitive science.
An important theme of these more recent applications is that category theory is an appropriate tool for studying the flow of information; it is entirely natural to consider whether this interpretation may be extended to CCS in a similar manner.
We introduce the basic definitions of category theory, along with a common graphical tool for categorical reasoning (the ‘diagram-chasing’ central to much of category theory), and consider how this may be interpreted in the context of communication protocols. This leads to simple graphical techniques and tools for modeling and reasoning about information flow, and for dealing with scenarios where we have incomplete knowledge about which communications have or have not taken place.
We then move on to considering some fundamental structures from the foundations of category theory (based on the theory of categorical coherence), and observe that these have at times made a highly unexpected appearance in CCS. We discuss the motivation and reasoning behind the use of such structures, and whether their identification as core category theory has any practical consequences. We also discuss - based on examples - whether this is simply coincidental or whether it is part of a more general pattern.