TGViewer
ultima ratio ultima ratio @ultima_rat · 356 subscribers
Post #130 1.05K
Сегодня в 16:20 - 19:00 на семинаре по исчислению Гудвили буду делать обзорный доклад по гомотопическим пределам с нуля: начнем с пререквезитов -- локализации, модельные категории, симплициальные множества, гомотопическая категория. Расскажу сформировавшееся у меня представление об этих понятиях и их роли. Потом перейдем непосредственно к цельной картине на практические алгоритмы вычисления гомотопических пределов с помощью Риди структур. Если интересно, приходите в 306 ауд. матфака или попросите у меня ссылку на зум-трансляцию.

А в 21:00 будет первый (в этом семестре) доклад на онлайн-семинаре Дмитрия Павлова:
  • ❤‍🔥 1
More from @ultima_rat
  1. Mar 12, 2024На первой лекции мы кратко зафиксировали тезисы, раскрытые выше, после чего говорили про 1…
  2. Mar 12, 2024Как уже читается из предыдущих абзацов, точка зрения на типы, как на базовое понятие приво…
  3. Mar 12, 2024C1 Категория Категория — это * Типы Ob, Mor * Функции dom, cod, ∘, id * Естественные равен…
  4. Mar 12, 2024Во-вторых, как отмечалось, типы — это, в точности, гомотопические типы в теории гомотопий.…
  5. Mar 12, 2024За прошедшие с тех пор 11 лет, в области произошло несколько впечатляющих и вдохновляющих…
  6. Mar 12, 2024Итак, Равенство (или изоморфизм) группоидов — это обратимая функция f: A → B. То есть, f т…
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 →