nLab
cartesian closed model category (history)

December 16, 2011

December 15, 2011