Higher Structures Seminar

Blue Lecture Room, Institute of Mathematics, Žitná 25

21.10. 2026 11:00 - Martin Markl: Mac Lane type coherence for lax algebras

Mac Lane proved that, in a lax monoidal category, a single condition, namely the pentagon, implies that all sensible diagrams involving iterated multiplications commute. We present an analogous statement for lax algebras, that is, algebras whose axioms are satisfied only up to coherent transformations.