ЕО
Проблема в том, что нет книг по высшей теории доменов
Size: a a a
2021 November 26
Oℕ
ну давно провели, весь кусок арифметики, который не обязательно использовать в повседневной жизни называют "теория чисел"
NR
первые пару глав любой книжки по теоркату. мне например Топосы категорный анализ логики нравится, она подробнее аналогов
ЕО
Обычно теорию категорий используют либо логики, либо топологи, либо алгебраисты для своих специфических задач.
Для задач прикладного программирования нужно свою ветвь теор-ката создавать, наиболее близкую к той, что используют логики, правда, но с примесями теории доменов
Для задач прикладного программирования нужно свою ветвь теор-ката создавать, наиболее близкую к той, что используют логики, правда, но с примесями теории доменов
VV
посоветуешь какую-нибудь конкретно?
Oℕ
Вообще есть много статей и хороших книг по "Applied Category Theory", например неустанно упоминаю Seven Sketches in Composability, там в каждой главе краткие соотнесения с электротехникой, базами данных, линейной алгеброй и т.п.
NR
с уклоном в программирование наверное кто нибудь другой лучше меня посоветует
NR
я только курс Бартоша смотрел
VV
спасибо, посмотрю
Oℕ
конечно вся книга посвящена по сути хождению вокруг моноидальных категорий, но в принципе это и есть сама прикладная ветка теорката
NR
VV
о, спасибо)
s
Algebra Chapter 0, Basic Category Theory.
s
↑
VV
Paolo Aluffi?
s
Да.
VV
спасибо, почитал отзывы, похоже самое то
DS
https://blog.ploeh.dk/2017/10/04/from-design-patterns-to-category-theory/
есть еще такой блог. как я понял, автор делает сильный упор на практику, но я пока читаю одну книгу и блог просто в закладках.
есть еще такой блог. как я понял, автор делает сильный упор на практику, но я пока читаю одну книгу и блог просто в закладках.
AG
теория доменов сейчас вообще непонятно как выглядит, часто говорят что игровая семантика более перспективный подход
ЕО
А есть понимание как high-категоризировать игровую семантику?