Category Theory Seminar: David Forsman (Université catholique de Louvain)
Krieger 413Title: Coherence theorems in the style of Mac LaneAbstract: The aim is to discuss different equational structures defined on categories like monoidal, symmetric monoidal and cartesian monoidal structures. The aim is to […]