Spahn notes on elephant (history)

Redirected from "lax idempotent 2-monad".

March 2, 2013