Язык категорий | Теория категорий и почему она нам небезразлична 1.1 скачать в хорошем качестве

Язык категорий | Теория категорий и почему она нам небезразлична 1.1

Сначала изложив математически строгое определение категории, мы можем отправиться в увлекательное путешествие по теории категорий с примерами из математики, информатики и логики. Это видео закладывает хорошую основу для любого увлеченного математика, независимо от наличия формального образования, и призвано сделать работу со сложной структурой категории более естественной. С множеством примеров, которые проверят ваше понимание, мы погрузимся в невероятно абстрактный мир теории категорий. ― Исправления ― 12:04 — Правильно: Солнечно ∧ (Солнечно ⇒ Боб носит шляпу). Оператор «и» ∧ обычно имеет более высокий приоритет, чем импликация, поэтому необходимо использовать скобки, чтобы гарантировать, что это предложение имеет именно тот смысл, который я ему вложил. ― Временные метки ― 0:00 — Вступление 0:58 — Определение 6:02 — Начало 9:46 — Категория доказательств 16:00 — Функциональное программирование 18:34 — Заключение ― Титры ― Вся анимация и озвучка созданы Eyesomorphic. Фоновая музыка: «Капли дождя на стекле», автор — Кейлеб Пеппиатт. ― Дополнительная литература ― Теория категорий, Стив Аводей (книга)