nLab
diagonal functor (history)

December 13, 2011

May 19, 2011

November 29, 2010

November 27, 2010