TGViewer
formal labs formal labs @formallabs · 418 subscribers
Post #44 348
formal labs Завтра продолжится курс по теории категорий. Наша цель — детально разобраться в двух фундаментальных понятиях теории категорий: (ко)пределах и сопряженных функторах. Что мы обсудим (ключевые слова): • Конусы над диаграммой (коконусы под диаграммой). • Общее…
Через 5 минут мы начинаем!

(ссылка на трансляцию на странице курса)
formal-labs.github.io Онлайн-курс «Теория категорий» — Лаборатория формальной математики Онлайн-курс «Теория категорий».
  • 🔥 7
Open in Telegram All posts from @formallabs
More from @formallabs
  1. Sep 26, 2026Лекция по формализации математики в Lean начнется через 30 минут: https://yandex.zoom.us/j…
  2. Sep 24, 2026записи лекций по теории категорий обновлены
  3. Sep 24, 2026Всем привет! На manytask вышла первая домашка по Lean. Во всех задачах нужно заменить sorr…
  4. Sep 22, 2026Завтра продолжится курс по теории категорий. Наша цель — детально разобраться в двух фунда…
  5. Sep 19, 2026Лекция по формализации математики в Lean начнется через 15 минут: https://yandex.zoom.us/j…
  6. Sep 18, 2026Курс "Формализация математики в Lean" Всем привет! В этом семестре в ШАДе совместно с form…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →