Квантование через когомологии де рама

ОТО через симплектические пространства

Классическая физика через просто алгебры ли и группы ли на топологических пространствах

(пустые слова наверное но неважно)

да не для физики то норм, просто задачу перед теоркатом ставят не самую адекватную, аля кризис оснований разрешить, с гравитацией там что-то, а надо попроще, как например теория групп в свое время физику твердого тела развила, чего-нить вот такое

Нашёл общирную серию статей может баян конечно.

Кто читал https://github.com/George66/Textbook Подскажите пожалуйста в чём суть введения некого протоморфизма (и задания второго определения категории). И если можно по содержанию тоже хинты дайте. А то "начало и конец не обязаны определяться однозначно" вызывает ассоциации только с недетерминированными автоматами, где всякие расцепления времени/вселенных происходят

https://ncatlab.org/nlab/show/protocategory это оно?

Даже не знаю, нужно вникнуть то или нет)))

Если да, то на нкатлабе написана мотивация -- чтобы категории стали более "естественными", например в теории множеств одна и та же функция может рассматриваться как функция с разными областями определения и значений.
Функция +1 может быть определена для C, для N и так далее.

Это неважно, если ваша математика "платонистская", но в конструктивной такое определение категории позволяет "окатегоривать" разные конструкции с меньшими трудозатратами

С - это комплексные числа имеются ввиду? В итоге как я понял, чтобы можно было задать морфизм, который "работает" не с всей областью определения.

ℂ имеется в виду ;-)

Оч стыдно, но забыл что это за множество такое, а такие темы не особо гуглятся.

Ан нет, нагуглил

ещё что-то помню

Толко сегодня на fpure про это говорили. Забавно

Про тему соотношения паттернов и теории категории? Или конкретно про этот блог?

Про соотношения

Шевченко или как там его

Я просто не хаскелист)

Я не уверен, о чём говорил Шевченко вчера