Пес Ебленский - Моноиды

Пес Ебленский - Моноиды

rex_weblen

[	website	\|	Наши рисуночки	]
[	userinfo	\|	ljr userinfo	]
[	archive	\|	journal archive	]

Links

[

Links:

update journal edit friends fif tiphareth recent comments

]

Моноиды

[Jul. 20th, 2024|11:38 pm]

[Tags

algebra, algebraic topology, category theory, homology, math, theoretical computer science

]

[	Current Mood	\|	annoyed	]
[	Current Music	\|	Swell Maps - Train Out of It	]

Прочитал главу в Мак Лейне про Моноиды.

Моноидальные категории — это категории, есть бинарная операция на объектах и нейтральный объект, которые по своим свойствам напоминают обычный моноид из алгебры. Проблема в том, что все операции определяются с точностью до изоморфизма. И поэтому к структуре добавляются канонические изоморфизмы, из-за чего она получается громоздкой. Видимо из-за этой громоздкости я раньше их и не изучал, это меня отталкивало. Но избавиться от этих канонических изоморфизмов нельзя. На этот счет есть пример Избелла. Примеры моноидальных категорий — это большинство категорий с произведением, категория модулей над коммутативным кольцом с тензорным произведением, а также категории эндофункторов с операцией композиции. Потом Мак Лейн долго доказывает теорему о когерентности. Но по сути, это сложный способ сказать, что порядок расстановки скобок не имеет значения.

В Монодической категориях можно определить объекты-моноиды и объекты с действием моноида на них. Например алгебраические моноиды это объекты-моноиды в категории множеств SET. А моноидальные категории — это объекты моноиды в категории категорий CAT. В категории модулей над коммутативным кольцом — моноиды это алгебры. В категории эндофункторов моноиды — монады. Действие монады Т на эндофунктора, это тоже самое, что факторизация через категорию Т-алгебры. В категории модулей с перевернутыми стрелками, моноиды называются коалгебрами, а объекты на которые они действуют — комодулями.

Одна из основные причин, почему я решил прочитать эту главу — это то, что тут написано про симплициальную категорию. Симплициальные категория состоит из неотрицательных целых чисел, которые понимаются как множества вида {0,1,...,n-1}. Морфизмами в это категории служат монотонные функции. Но все можно породить используя "элементарные комбинаторные операции со списками" типа "cкопировать с повтором" и "cкопировать с пропуском". Это категория симплициальная, потому что существует стандартный функтор от туда, который сопоставляет каждому числу n симплекс на n вершинах. При этом операция "cкопировать с повтором" превращается во вложить в симплекс большего размера как грань, в "cкопировать с пропуском" в спроецировать на грань.

Контравариантные функторы из симплициальной категории называются симплициальными объектами. При этом очень важно, куда переходят "элементарные комбинаторные операции со списками". И если финальная категория является абелевой, то использую знакопеременную сумму операций типа "проекция на грань" можно получить оператор границы. И этот оператор границы определяет цепной комплекс в этой абелевой категории. Поэтому каждый симплициальный объект в абелевой категории задает последовательность гомологий. Например, если взять топологическое пространство X, то последовательность свободных абелевых групп, порожденных всеми свободными всеми непрерывными отображениями из n-cимплексов в Х задает симплициальный объект. И его гомологии называются сингулярными гомологиями пространства X.

Почему монады и симплициальные категории обсуждаются в одной главе. Думаю, дело не только в том, что симплициальная категория сама по себе является моноидальной с операцией сложения. Дело в том, что объект единичка является своего рода универсальным для моноидов. Поэтому любой моноид порождает симплициальный объект. Это относится и к обычным моноидам и группам, взятым как объектами в категории SET. Эти эти симплициальные объекты можно продолжить дальше в категорию абелевых групп взяв свободные абелевы группы. И в итоге мы снова получаем цепной комплекс и уже гомологию и когомологию групп. Мне эта конструкция напомнила нерв категории, еще один симплициальный объект, если рассмотреть группу как категорию из одного элемента. Также замечу тут, что все симплициальные множества являются предпучками, поэтому их категория ведет себя хорошо.

Потом Мак Лейн определяет категорию компактно-порождённых пространств, как категорию удобную для топологической теории гомотопий. Основная проблема обычной категории топологических пространств заключается в том, что там нет экспоненциального объекта, который бы мог моделировать пространство отображений из одного пространства в другое взятое с открыто-компактной топологией. Категории компактных или локально компактных пространств обладают экспоненциальным объектом, но они не замкнуты под некоторыми другими важными операциями. Компактно-порожденные пространства решают эту проблему. Для категории компактно порождённых пространства с отмеченной точкой Мак Лейн рассматривает операцию смеш-произведения, которая оказывается сопряженной экспоненцированию. Это похоже на известную по теории топосов сопряженность произведения и экспоненцирования, связанной с популяризированной функциональным программированием операцией каррирования. Экспоненцирование с объектом "окружность" дает функтор "пространство петель". А смеш-произведение с объектом "окружность" дает функтор "надстройка". Эти функторы сопряжены и они задают монаду.

Надстройка

В целом это все довольно полезный взгляд на алгебраическую топологию через призму теории категорий. Эти операции типа пространства петель и надстройка довольно элементарны. Но взгляд на них через теорию категорий делает теорию про них глубже. И я рекомендую прочитать эту главу тем, кого интересует алгебраическая топология. Думаю, мне тоже было полезно прочитать эту главу для расширения кругозора. Потому что на первом этапе ее развития именно алгебраическая топология была основным драйвером развития теории категорий.

Link

Leave a comment

Comments:

From:	(Anonymous)
Date:	July 20th, 2024 - 08:58 pm

(Link)

Прочитал главу в Мак Лейне про Говноиды.

(Reply to this) (Thread)

From:	(Anonymous)
Date:	July 21st, 2024 - 05:21 am

(Link)

что нового написали на жопе спаммера и стукача додика хуйлашки шварца?

(Reply to this) (Parent) (Thread)

From:	(Anonymous)
Date:	July 21st, 2024 - 05:28 am

(Link)

пятый год уже трудится, шизофреник

(Reply to this) (Parent) (Thread)

From:	(Anonymous)
Date:	July 22nd, 2024 - 09:10 pm

(Link)

НА ОКНЕ СИДИТ МАКАКА
ЭТО ДЕВУШКА С МАТФАКА

(Reply to this) (Parent) (Thread)

From:	(Anonymous)
Date:	July 23rd, 2024 - 05:58 pm

(Link)

А ЕБЁТ ЕЁ ВЕРБЯХА
У НЕГО ВО РТУ КАКАХА

(Reply to this) (Parent)

From:	(Anonymous)
Date:	July 21st, 2024 - 05:35 am

(Link)

На жопе задрота из Киева написано: СТУАЧ И СПАМЕР

(Reply to this) (Parent)

From:	(Anonymous)
Date:	July 20th, 2024 - 09:31 pm

(Link)

хуйоиды

(Reply to this)

From:	(Anonymous)
Date:	July 20th, 2024 - 09:33 pm

(Link)

если бы эти знания имели реальную ценность, то с их помощью можно было бы получить все остальные вещи в этом мире
и знаете что, что-то я не вижу среди сильных мира сего дохуя математиков
вывод додумайте сами

(Reply to this) (Thread)

From:	(Anonymous)
Date:	July 20th, 2024 - 09:37 pm

(Link)

off the top of my head - Jim Simons.

(Reply to this) (Parent)

From:	(Anonymous)
Date:	July 20th, 2024 - 10:01 pm

(Link)

Тупая педоффка делает выводы, спешите видеть.

(Reply to this) (Parent)

From:	(Anonymous)
Date:	July 20th, 2024 - 10:13 pm

(Link)

представителей какой науки ты дохуя видишь среди сильных мира?

(Reply to this) (Parent) (Thread)

From:	(Anonymous)
Date:	July 20th, 2024 - 10:20 pm

(Link)

Финансистов и военных всяких.

(Reply to this) (Parent) (Thread)

From:	(Anonymous)
Date:	July 20th, 2024 - 10:28 pm

(Link)

Финансист это не наука, экономистов среди сильных мира что-то дохуя не видно.
А математику наужна и военным, и финансистам.

(Reply to this) (Parent) (Thread)

(no subject) - (Anonymous)

From:	jogen
Date:	July 20th, 2024 - 09:35 pm

(Link)

Вы умный, я бы очень хотел хоть что-нибудь из этого понимать.

(Reply to this) (Thread)

From:	(Anonymous)
Date:	July 20th, 2024 - 09:46 pm

(Link)

почему бы и нет? бери и учи. лучший способ привести мозги в порядок.
например:
1. Rudin, Principles of Mathematical Analysis.
2. Munkres, Topology.
3. Morin, Introduction to Classical Mechanics.
4. Artin, Algebra.

(Reply to this) (Parent) (Thread)

From:	jogen
Date:	July 20th, 2024 - 09:49 pm

(Link)

Я не уверен, что смогу самостоятельно в этом разобраться.

> лучший способ привести мозги в порядок.

Согласен.

(Reply to this) (Parent) (Thread)

From:	(Anonymous)
Date:	July 20th, 2024 - 10:00 pm

(Link)

лучше, конечно, чтобы кто-то помогал, да. но в основах можно разобраться самостоятельно. в списке выше ничего такого нет, что бы не опиралось на школьный курс. с доказательствами может быть поначалу беда, да. тогда можно начать с "Механики" Морина, а калькулюсом и алгеброй заниматься по книжкам или видео, в которых используется нестрогая аргументация. ничего плохого в этом нет.
только не в ущерб учёбе по специальности.