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 shed light on the associated coherence theorems and to show how these are related to the construction of simple type theories. This suggests a more general approach […]