7 Sept 2004
2:30 - 4:00 Claudio Hermida
A roadmap to the unification of weak categorical structures:
transformations and equivalences among the various notions of
pseudo-algebra
Abstract: A quick tour of the constructions/equivalences monoidal category :: representable multicategory :: covariantly fibrant multicategory :: pseudo-monoid in Cat, and their general pseudo-algebra versions, with the simplest proof of coherence for lax-idempotent 2-monads. http://maggie.cs.queensu.ca/chermida/papers/roadmap.pdf or http://www.ima.umn.edu/talks/workshops/SP6.7-18.04/hermida/roadmap.pdf