TGViewer
formal labs formal labs @formallabs · 420 subscribers
Post #23 775
formal labs В ближайшую среду будет продолжение курса по теории категорий, лектором выступит Вася Ионин. На лекции мы продолжим осваивать внутренний язык теории категорий. Рассказ будем сопровождать проясняющими примерами и полезными майндсетами, помогающими думать о…
Напоминание: уже сегодня, в среду, в 20:00 MSK (19:00 CEST/UTC+2) пройдет лекция Васи Ионина по теории категорий.
  • 🔥 9
  • ❤ 7
  • 👍 3
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 23, 2026Через 5 минут мы начинаем! (ссылка на трансляцию на странице курса)
  5. Sep 22, 2026Завтра продолжится курс по теории категорий. Наша цель — детально разобраться в двух фунда…
  6. Sep 19, 2026Лекция по формализации математики в Lean начнется через 15 минут: https://yandex.zoom.us/j…
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 →