В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Теория категорий

559 membersпожаловаться на группу
2018 May 04

NI

Nick Ivanych in Теория категорий
Ну и читать, вполне может быть, что стоит.
Основная польза от чтения этих вот книжек —
хорошее понимание мотивов введения тех или иных конструкций в алгебраической геометрии.
источник
19:33пожаловаться#1

NI

Nick Ivanych in Теория категорий
Victor Savkov
какое-то время назад мне не пошёл ни Гриффитс/Харрис, ни Хартсхорн. самые лучшие объяснения до сих пор находил в ncatlab.
думал, может припадение к истокам вызовет просветление
То же самое скажу.
Мне не нравится возня с конкретными мелочами.
Но зато, от алгебраической геометрии пошли замечательные вещи.
источник
19:34пожаловаться#2

NI

Nick Ivanych in Теория категорий
Скажем так — книжку "в стиле" ncatlab, только аккуратно сделанную, я бы сиильно предпочёл бы ;-)
источник
19:35пожаловаться#3

VS

Victor Savkov in Теория категорий
Nick Ivanych
Ну и читать, вполне может быть, что стоит.
Основная польза от чтения этих вот книжек —
хорошее понимание мотивов введения тех или иных конструкций в алгебраической геометрии.
вот-вот, мотивы и важны - то, что на лекции/семинаре можно выпытать из автора, или он сам выдаёт, в книжки никогда не попадает
источник
19:36пожаловаться#4

NI

Nick Ivanych in Теория категорий
Victor Savkov
какое-то время назад мне не пошёл ни Гриффитс/Харрис, ни Хартсхорн. самые лучшие объяснения до сих пор находил в ncatlab.
думал, может припадение к истокам вызовет просветление
Есть ещё такоэ —
https://stacks.math.columbia.edu/browse
Там возня с конкретикой есть, но уровень абстракции уже более-менее.
В приципе, алгебраическую геометрию (ровно как и категории) можно изучать по этим текстам ;-)
Стиль несколько суровый, правда.
#link
источник
19:37пожаловаться#5

NI

Nick Ivanych in Теория категорий
Victor Savkov
вот-вот, мотивы и важны - то, что на лекции/семинаре можно выпытать из автора, или он сам выдаёт, в книжки никогда не попадает
Мне Иван Александрович Панин советовал читать "истоки" ;-)
источник
19:37пожаловаться#6

VS

Victor Savkov in Теория категорий
Nick Ivanych
Есть ещё такоэ —
https://stacks.math.columbia.edu/browse
Там возня с конкретикой есть, но уровень абстракции уже более-менее.
В приципе, алгебраическую геометрию (ровно как и категории) можно изучать по этим текстам ;-)
Стиль несколько суровый, правда.
#link
помнил, что есть такой ресурс, но забыл где - спасибо!
источник
19:39пожаловаться#7

VS

Victor Savkov in Теория категорий
Nick Ivanych
Мне Иван Александрович Панин советовал читать "истоки" ;-)
100%
источник
19:39пожаловаться#8

NI

Nick Ivanych in Теория категорий
Victor Savkov
100%
Именно Иван Александрович мне мысль подсказал, чтоб читать для того, чтобы лучше понять мотивы создания конструкций.
источник
19:40пожаловаться#9

NI

Nick Ivanych in Теория категорий
Ну вот, смотрите и развивайте теоретико-множественную интуицию —
Limits and colimits in the category of sets
https://stacks.math.columbia.edu/tag/002U
;-) На самом деле, может пригодиться для начинающих. Ну ибо в функциональщине что-то близкое.
#link
источник
19:46пожаловаться#10
2018 May 05

NI

Nick Ivanych in Теория категорий
Oleg ℕizhnik
И бывает ли так, что для 1-морфизмов нет экспоненциальных объектов, а для 2- есть?
Перечитал. Туплю сильно. Ну конечно же, бывает.
Даже примера не надо приводить, достаточно вообразить определение, скажем, обогащённой категории.
Ну или бикатегории —
https://ncatlab.org/nlab/show/bicategory
Про экспоненты тоже туплю — достаточно посмотреть определение и сообразить.
Возможно, что проще начинать с определения обогащённой категории (строгие n-категории, это n раз обогащённые).
источник
11:38пожаловаться#11
2018 May 08

NI

Nick Ivanych in Теория категорий
Generic bicategories
Charles Walker
https://arxiv.org/abs/1805.01703
Там про обобщённые комонады.
Как всем известно, комонада, это oplax-функтор бикатегорий 1→C
Вот эту тему и развивают.
#article
источник
17:34пожаловаться#12

NI

Nick Ivanych in Теория категорий
Тов. Баязь, Валерия наша де Пайва и сотоварищи журнальчег замутили —
http://www.compositionality-journal.org
by
https://golem.ph.utexas.edu/category/2018/05/compositionality.html
Compositionality
About · Compositionality
Compositionality is now open for submissions to our first issue. About Compositionality describes and quantifies how complex things can be assembled out of simpler parts. Compositionality, the journal, is an open-access journal for research using compositional ideas, most notably of a category-theoretic origin, in any discipline. Topics may concern foundational structures, an organizing principle, or a powerful tool. Example […]
источник
17:41пожаловаться#13

AG

Alex Gryzlov in Теория категорий
ага, я кидал ссылку на их официальный реддит как временно более содержательный :)
источник
17:51пожаловаться#14

NI

Nick Ivanych in Теория категорий
Только там с тех пор одна статья появилась...
И до сих пор, нет какой-то общей ссылки...
Ну или RSS'а какого-то, что ли...
источник
17:52пожаловаться#15
2018 May 09

NI

Nick Ivanych in Теория категорий
Ссылка от Vlad Patryshev:
Elaborating Inductive Definitions
Pierre-Evariste Dagand, Conor McBride
https://arxiv.org/abs/1210.6390
#article
источник
10:13пожаловаться#16

NI

Nick Ivanych in Теория категорий
_IMHO_, больше подходит для типазависимого чатика, куда я сейчс и продублирую.
источник
10:27пожаловаться#17
2018 May 16

N

Nikolay in Теория категорий
День добрый. Вопрос . Если понятие равенства категорий? Вопрос возник при рассмотрении функтора  List в хаскель.  Так я сейчас понимаю, что он отображает категорию Hask в подкатегорию. Но говорят, что это не важно .мол все равно это также категория hask.
источник
16:58пожаловаться#18

к

кана in Теория категорий
M = { A, B, C }
f : M -> M
f x = C
источник
16:59пожаловаться#19

ЕО

Евгений Омельченко in Теория категорий
Nikolay
День добрый. Вопрос . Если понятие равенства категорий? Вопрос возник при рассмотрении функтора  List в хаскель.  Так я сейчас понимаю, что он отображает категорию Hask в подкатегорию. Но говорят, что это не важно .мол все равно это также категория hask.
Да, понятие равенства есть, но оно тривиально — как равенство объектов, стрелок и сохранения композиции. В случае с функторами (как и с любыми другими преобразованиями) "образ" функтора действительно может быть меньше чем его область значения
источник
17:02пожаловаться#20