CE
Если можно так выразиться
Size: a a a
2018 March 20
CE
Точнее в преподавание функана
NI
Нуу, это неправильный подход.
"Внедрять" что-то специально нахрен не надо.
Надо специалистов в соответствующих областях обучать категориям и далее.
И они сами увидят что-то новое.
Или не увидят, как например, в конечных группах.
Я специально расспрашивал специалистов —
в конечных группах категории нахрен нигде не нужны ;-)
"Внедрять" что-то специально нахрен не надо.
Надо специалистов в соответствующих областях обучать категориям и далее.
И они сами увидят что-то новое.
Или не увидят, как например, в конечных группах.
Я специально расспрашивал специалистов —
в конечных группах категории нахрен нигде не нужны ;-)
NI
А. Ну может быть.
NI
В линейной алгебре вон тоже может быть ;-)
CE
Нуу, это неправильный подход.
"Внедрять" что-то специально нахрен не надо.
Надо специалистов в соответствующих областях обучать категориям и далее.
И они сами увидят что-то новое.
Или не увидят, как например, в конечных группах.
Я специально расспрашивал специалистов —
в конечных группах категории нахрен нигде не нужны ;-)
"Внедрять" что-то специально нахрен не надо.
Надо специалистов в соответствующих областях обучать категориям и далее.
И они сами увидят что-то новое.
Или не увидят, как например, в конечных группах.
Я специально расспрашивал специалистов —
в конечных группах категории нахрен нигде не нужны ;-)
И вообще в конечной математике не очень нужен теоркат
NI
Я в этом не очень уверен.
Ну и уж как минмиум, как только рассматривается хоть мелкий стык с остальным, так тут же будет надо ;-)
Ну и уж как минмиум, как только рассматривается хоть мелкий стык с остальным, так тут же будет надо ;-)
CE
Стык с остальным производится чаще всего через бесконечность
CE
А тут мы уже выходим за рамки конечной математики
NI
Хотя и сейчашная практика как-то так и показывает —
никому из специалистов по "конечной" математике никакие категории не нужны.
Я расспрашивал товарищей про конечные группы и теорию графов.
Авот про моноиды уже не совсем понятно ;-)
никому из специалистов по "конечной" математике никакие категории не нужны.
Я расспрашивал товарищей про конечные группы и теорию графов.
Авот про моноиды уже не совсем понятно ;-)
NI
Ну и есть более другие конечные структуры.
CE
Конечные категории, например)
2018 March 21
Oℕ
Помогите с нотацией. Читаю https://ncatlab.org/nlab/show/limit#ConstructionFromProductsAndEqualizers
Что означают следующие штуки
Что означают следующие штуки
Oℕ
/convert f \in Mor(d); p_t(f), p_s(f)
Oℕ
если известно, что /convert d \in Obj(D)
Oℕ
Mor(d) - Это морфизмы входящие в d?
Oℕ
Всё, кажется понял, это морфизмы исходящие из d, а функтор же контравариантный, тогда всё сходится
NI
Не вижу по ссылке (глава "Commutativity with limits and colimits") вообще ничего подобного ;-)