Reconsidering MacLane Coherence for associativity in infinitary and untyped settings

Reconsidering MacLane Coherence for associativity in infinitary and untyped settings Peter M. Hines Oxford – March 2013 Coherence in Hilbert’s hotel peter.hines@york.ac.uk Topic of the talk: Pure category theory . . . for its own sake. This talk is about the general theory of ‘abstract nonsense’. Coherence in Hilbert’s hotel peter.hines@york.ac.uk Topic of the talk: Pure category theory . . . for