nLab
implicit infinity-category theory convention (history)

January 14, 2012

July 27, 2011

December 14, 2010

December 13, 2010