AZ
Допустим, можно построить такую конструкцию. Но зачем?
я пытаюсь понять что такое лимиты
Size: a a a
2019 December 18
AZ
без примеров все совершенно печально
AZ
и я не понимаю о чем ерчь
A
Никак не помогает такое описание
Я не очень понимаю, в чем проблема описания функции между множеством размера n и множеством размера m
KV
я пытаюсь понять что такое лимиты
Терминальный объект — лимит, категорное произведение — лимит, уже пара примеров
KV
Я не очень понимаю, в чем проблема описания функции между множеством размера n и множеством размера m
Т. е. все возможные функции между такими множествами. Ладно, но вопрос остаётся — зачем
KV
Естественное преобразование в данном случае — это способ задать конус над диаграммой, т. е. для каждого объекта в диаграмме стрелку в него из некоторого заранее выбранного объекта, ну чтобы ещё эти стрелки коммутировали с теми, которые уже есть в диаграмме
AZ
Терминальный объект — лимит, категорное произведение — лимит, уже пара примеров
это какой-то плохой пример. Я не понял какие характеристики должны быть чтобы сказать это лимит, а это нет
KV
это какой-то плохой пример. Я не понял какие характеристики должны быть чтобы сказать это лимит, а это нет
Не надо вообще для начала думать про функторы и преобразования. Лимит берётся над диаграммой. Лимит пустой диаграммы — это терминальный объект. Лимит диаграммы вида A B (без стрелок) — произведение
KV
Лимит — это один (с точностью до изоморфизма) из конусов над диаграммой, который выделяется среди прочих тем, что удовлетворяет универсальному свойству
A
один, такой что все остальные через него пропускаются
A
С универсальным свойством в категории конусов
A
да, вот
KV
https://www.logicmatters.net/resources/pdfs/GentleIntro.pdf
Я бы порекомендовал такую книжку, там особо нет требований к читателю и очень много полностью разжёванных примеров
Я бы порекомендовал такую книжку, там особо нет требований к читателю и очень много полностью разжёванных примеров
A
я голдблатта кое-как преодолел. Но начало действительно доступное.
KV
я голдблатта кое-как преодолел. Но начало действительно доступное.
Хорошая вещь, но не учебник по теории категорий (но первые главы можно рассматривать как дополнительный материал)
KV
Вот оно кстати
A
А о Basic Category Theory что думаете?
KV
А о Basic Category Theory что думаете?
Это где? Первый раз слышу