TGViewer
formal labs formal labs @formallabs · 418 subscribers
Post #43 436
Завтра продолжится курс по теории категорий. Наша цель — детально разобраться в двух фундаментальных понятиях теории категорий: (ко)пределах и сопряженных функторах.

Что мы обсудим (ключевые слова):

• Конусы над диаграммой (коконусы под диаграммой).
• Общее определение (ко)предела диаграммы.
• (Ко)пределы избранных форм:
- (ко)произведения,
- (ко)уравнители,
- (ко)декартовы квадраты,
- обратные и прямые пределы.
• Сопряженные функторы, универсальное свойство.
• Основные примеры: свобода-забвение и тензор-хом.
• Декартово замкнутые категории.


23 сентября, среда
19:00 CEST/UTC+2 (20:00 MSK)
Онлайн, вход свободный

Ссылка на зум на странице курса
  • 🔥 8
  • ❤ 3
  • 😱 3
  • 👍 2
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 23, 2026Через 5 минут мы начинаем! (ссылка на трансляцию на странице курса)
  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 →