nLab
trivial model structure (history)

January 28, 2012

December 8, 2010