История изменений
Исправление quasimoto, (текущая версия) :
Когда ее придумали, все кинулись на нее, считая, что это какое-то волшебное средство
Откуда инфо? Свечку держал? :)
применение оной, афаик, сейчас практически отсутствует
но пусть оказался тупиковым и большинство забило на это
«Большинству» которое занимается матаном, линалом или численными расчётами там, вообще пофиг, что на теорию категорий, что на теорию моделей, теорию типов или основания математики (только если рядом дивана нет), а так я бы не сказал что оно куда-то пропало — взять ту же алгебру, например учебник Ленга, или что-нибудь по алгебраической топологии, или по алгебраической геометрии, или из логики — по категорным логикам, теории доменов, теории типов или лямбда исчислению, или посмотреть на http://golem.ph.utexas.edu/category/ (http://golem.ph.utexas.edu/category/2013/10/the_hott_approach_to_physics.html, например), или на http://mathoverflow.net/tags.
Исходная версия quasimoto, :
Когда ее придумали, все кинулись на нее, считая, что это какое-то волшебное средство
Откуда инфо? Свечку держал? :)
применение оной, афаик, сейчас практически отсутствует
но пусть оказался тупиковым и большинство забило на это
«Большинству» которое занимается матаном, линалом или численными расчётами там, вообще пофиг, что на теорию категорий, что на теорию моделей, теорию типов или основания математики (только если рядом дивана нет), а так я бы не сказал что оно куда-то пропало — взять ту же алгебру, например учебник Ленга, или что-нибудь по алгебраической топологии, или по алгебраической геометрии, или из логики — по категорным логикам, теории домен, теории типов или лямбда исчислению, или посмотреть на http://golem.ph.utexas.edu/category/ (http://golem.ph.utexas.edu/category/2013/10/the_hott_approach_to_physics.html, например), или на http://mathoverflow.net/tags.