12 Mar 2024, 15:07 UTC≈4,300 views22 reactionsread 7 August 2026 На первой лекции мы кратко зафиксировали тезисы, раскрытые выше, после чего говорили про
1) Универсумы и полиморфизм по универсумам
2) Четыре свойства функторов (инъективность и сюръективность | на объектах и на Hom-ах) и их сочетания как формализация понятий "свойство" и "структура"
3) Карту категорий и функторов, захватывающую основные понятия университетской математики
3*) Как бы могла выглядеть категорная карта …
❤🔥13👍5❤4
12 Mar 2024, 15:06 UTC≈3,210 views8 reactionsread 7 August 2026 Как уже читается из предыдущих абзацов, точка зрения на типы, как на базовое понятие приводит к тому, что
Объект, который традиционно называют «(∞, 1)-категория» следует воспринимать и называть (просто) категориями.
А «(n, 1)-категории», восстанавливаются как его частные случаи — это просто те категории, в которых Hom-ы (n-1)-усечены. (см. незатейливый смысл этой терминологии пар индексов по ссылке (n,r)-category).…
👍4❤2🔥2
12 Mar 2024, 15:06 UTC≈2,290 views5 reactionsread 7 August 2026 C1 Категория
Категория — это
* Типы Ob, Mor
* Функции dom, cod, ∘, id
* Естественные равенства на них (конечно, связанные естественными равенствами следующего уровня and so on to ∞)
* Унивалентность: id: Ob -> Isom является изоморфизмом типов (где Isom, конечно, подтип в Mor, морфизмов, для которых просто существует обратный)
(как видно, неточность здесь только 3-ем компоненте, с точным выражением которого текущи…
❤2👍2🔥1
12 Mar 2024, 15:04 UTC≈1,690 views6 reactionsread 7 August 2026 Во-вторых, как отмечалось, типы — это, в точности, гомотопические типы в теории гомотопий. Только не объекты поломанной гомотопической категории, конечно, которые традиционно именуют гомотопическими типами. Эта категория, в действительности, никогда не была местом действия гомотопистов [поэтому они постоянно нуждались в том, чтобы продолжать держать в руках Top] в ней нет никаких пределов и копределов (кроме дискретн…
👍2🔥2🤯2
12 Mar 2024, 15:03 UTC≈1,430 views6 reactionsread 7 August 2026 За прошедшие с тех пор 11 лет, в области произошло несколько впечатляющих и вдохновляющих прорывов, но центральная задача — создания синтетического языка для ∞-группоидов, достаточно выразительного, чтобы прямо в нем можно было формулировать все математические идеи — пока остается открыта. Предложенный язык интерпретируется в категориии ∞-группоидов (равно как и во всех остальных ∞-топосах Гротендика!) и в нем можно …
👍4❤1🔥1
12 Mar 2024, 15:02 UTC≈1,150 views8 reactionsread 7 August 2026 Итак,
Равенство (или изоморфизм) группоидов — это обратимая функция f: A → B. То есть, f т.ч. просто существует g: B → A т.ч. fg = id_A и gf = id_B.
(
Классический термин для понятия изоморфизма в 2-контексте «эквивалентность», а «изоморфизм» было принято использовать для таких f, у которых существует обратный в строгом смысле теоретико-множественной кодировки (т.е. буквально биекция носителей, сохраняющая операции…
🔥6👍2
12 Mar 2024, 15:02 UTC≈1,070 views10 reactionsread 7 August 2026 О множестве Ob C имеет смысл думать как о термах / представлениях объектов группоида. Взгляните, например, на группоид N, содержащий всевозможные формулы (в некотором синтаксисе), задающие натуральные числа, и хранящий между некоторыми ровно по паре обратных стрелок — их равенства. Так же и элементы в Ob Set, Ob Ring, Ob Top — это термы/конкретные представления/формулы, которые связаны равенствами, только их равенств…
❤4🔥4👍2
12 Mar 2024, 15:02 UTC≈1,460 views11 reactionsread 7 August 2026 C0 Равенство
Теория категорий появилась в конце второй половины 20 века, во времена, когда в математике бурно формировались и становились ключевым концептом структуры (алгебраические, топологическо-геометрические, аналитические и др.). В предыдущие века, когда основными объектами изучения были функции, уравнения и числа, люди привыкли к понятию равенства как свойства пары объектов, а именно (говоря, в терминах, наск…
❤4👍3🔥2❤🔥1😁1
29 Feb 2024, 01:04 UTC≈2,310 views18 reactionsread 7 August 2026 Я редко пишу в этот канал в последнее время, потому что ежедневные наблюдения и находки окончательно переселились в @truly_part, а содержательные откровения на разные темы ещё дозревают. Но этой весной будет много материала для ultima ratio — со следующей недели я начинаю читать курс по теории категорий.
Цель курса — дать объемное, наполненное примерами, интуицией и связями с разными областями математики, введение в…
❤9🔥4❤🔥3👍1🥰1
31 Jan 2024, 02:12 UTC≈1,020 views1 reactionsread 7 August 2026 Сегодня в 16:20 - 19:00 на семинаре по исчислению Гудвили буду делать обзорный доклад по гомотопическим пределам с нуля: начнем с пререквезитов -- локализации, модельные категории, симплициальные множества, гомотопическая категория. Расскажу сформировавшееся у меня представление об этих понятиях и их роли. Потом перейдем непосредственно к цельной картине на практические алгоритмы вычисления гомотопических пределов с …
❤🔥1
31 Jan 2024, 02:12 UTC≈1,090 views1 reactionsread 7 August 2026 Forwarded from @higher_geometry
Сегодня (24 января) в 21:00 по московскому времени (UTC+03) первое (организационное) собрание Quantum Homotopy Seminar.
В этом семестре мы будем изучать статью
Grigorios Giotopoulos, Hisham Sati. Field Theory via Higher Geometry I: Smooth Sets of Fields
arxiv.org/abs/2312.16301
The physical world is fundamentally: (1) field-theoretic, (2) smooth, (3) local, (4) gauged, (5) containing fermions, and last but not lea…
❤🔥1
8 Nov 2023, 20:58 UTC≈1,210 views4 reactionsread 7 August 2026 Photo
https://pbelmans.ncag.info/topologies-comparison/
🔥3❤1
Showing the 12 most recent of 20 posts we hold for @ultima_rat. View and reaction counts are the latest single reading for each post, not a live figure, and a recent post is still accumulating both. A view count marked ≈ was rounded by Telegram before we ever saw it — t.me prints views in full below 1,000 and to three significant figures above, so ≈1,200,000 means somewhere between 1,150,000 and 1,249,999. Unmarked counts are exact. Text is reproduced from the public post preview and truncated for length.