Курс Applied Category Theory от John Baez: от теории к практике
Applied Category Theory Course (2018)
Я предлагаю курс, основанный на книге Fong и Spivak, где мы исследуем, как Applied Category Theory помогает моделировать сложные системы. Мы пройдем путь от упорядоченных множеств и логики до теорий ресурсов, баз данных и совместного дизайна, показывая, как математические структуры описывают реальный мир.
Это не конец, а начало!
- Jhsto
Как программист, интересующийся теорией категорий, я нашёл эту книгу довольно хорошим балансом между абсурдом CT и тем, что я могу реально использовать в программировании. Интересно, есть ли у кого-то ещё хорошие рекомендации по книгам? Мне кажется, что содержание книги остаётся немного сложным для полного понимания, если вы ранее не сталкивались с этими концепциями.
- ufo
Часть в начале о связях Галуа очень стоит изучения. У неё бесчисленное множество применений.
- not_a_bot_4sho
Ура, Джон!