You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
John Baez (Oct 21 2020 at 23:51):Abstract. 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.
John Baez (Oct 21 2020 at 23:52):To attend live by Zoom please email
You can also watch it on YouTube live here:
John Baez (Oct 21 2020 at 23:53):For more information (but not much more) go here:
https://the-au-forml-lab.github.io/colloquium_talks/Hines.html
Jules Hedges (Oct 22 2020 at 09:23):John Baez said:
category theory is an appropriate tool for studying the flow of information
That's a good slogan
Bob Coecke (Oct 22 2020 at 09:56):Jules Hedges said:
John Baez said:
category theory is an appropriate tool for studying the flow of information
That's a good slogan
That's the principle that has been guiding the entire categorical quantum mechanics development:
https://arxiv.org/abs/quant-ph/0506132
John Baez (Oct 22 2020 at 16:36):Just to be clear, I was just quoting the abstract of the talk. But I would be happy to claim credit for the slogan: "category theory is an appropriate tool for studying the flow of information".