2014-11-26: Ross Duncan (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Ross Duncan (MSP)

Diagrammatic languages for monoidal categories

Abstract

Monoidal categories are essentially 2-dimensional things, so why on earth would we represent them using a linear string of symbols? I'll talk about how to use string diagrams for monoidal categories, graph rewriting for reasoning within them, and how the syntax can be extended to handle certain kinds of infinitary expressions with the infamous !-box. If there's time I'll finish with some half-baked (eh... basically still looking for the on switch of the oven...) ideas of how to generalise them.

2014-11-26 11:00:00 UTC
LT1310