nLab
lax-idempotent 2-monad (history)

January 16, 2012

April 13, 2011

July 2, 2010

May 21, 2010

May 17, 2010

May 13, 2010

May 7, 2010