nLab
descent object (history)

January 31, 2012

December 19, 2011

December 17, 2011

December 16, 2011