turkmath.org

Coherence theorems, while often technically complicated, serve a simple role: to make computations easier on the user. Abstract forms of coherence theorems often take one of two forms, either a strictification form or a diagrammatic form. The general, abstract kinds of coherence theorems that would apply to symmetric or braided monoidal functors are of the strictification variety, but in practice the diagrammatic versions are often what one might need. I will present a general form of a diagrammatic coherence theorem applicable to monoidal functors (of any variety) or any other structure governed by a reasonably nice 2-monad.

This is joint work with Niles Johnson.