Курс Applied Category Theory от John Baez: от теории к практике

Applied Category Theory Course (2018)

Я предлагаю курс, основанный на книге Fong и Spivak, где мы исследуем, как Applied Category Theory помогает моделировать сложные системы. Мы пройдем путь от упорядоченных множеств и логики до теорий ресурсов, баз данных и совместного дизайна, показывая, как математические структуры описывают реальный мир.

"Это не конец, а начало!"