AG
только не уверен склоняется или нет
Size: a a a
2019 December 19
2019 December 20
МБ
Вопрос. А как по-английски называется оболочка Каруби?
O
O
нет, наверно https://en.wikipedia.org/wiki/Karoubi_envelope
МБ
Да вот не похоже. Должна быть категория, построенная по аппликативной структуре (lambda-алгебре).
МБ
Хотя вот envelop похож по конструкции. Спасибо!
OL
А как здесь переводится section и retraction?
A
section это наверняка сечение
МБ
Ретракция так и пишут в книгах
МБ
Но по смыслу больше подходит "возврат".
ЕО
Ретракция так и пишут в книгах
И сечение, в переводе Маклейна так
OL
Понял, спасибо
OL
А какой смысл за этими словами? Ну то есть ретракция g как-бы отменяет действие f. А секция?
МБ
Ну. Это можно проиллюстрировать через сечение множеств. f отображает элементы в классы этих элементов, а g из классов выбирает представителей.
OL
Хм, подумаю над этим, спасибо
МБ
Обычно идея такая там, что есть более сложная структура, и мы можем вписать в неё более простые элементы (это g), но чтобы делать это корректно нужно условие их возврата в исходном виде (это f). Как бы, половинка изоморфизма.
2019 December 21
C
Alert! ABott JPW Wuo Luo is a known spammer and is CAS banned. Ban is strongly recommended.
AZ
Книжка милевского все же офигенная.
Прочитал про представимые функторы, вроде более-менее понятно, но так, не очень.
Тут бах задачка "а попробуйте реализовать для мейби"
и вжух - сразу понятно, что это такое и с чем кушать
Прочитал про представимые функторы, вроде более-менее понятно, но так, не очень.
Тут бах задачка "а попробуйте реализовать для мейби"
и вжух - сразу понятно, что это такое и с чем кушать
Oℕ
Простите за занудство, но я обязан напоминать каждый раз, что Милевский не писал книги
Oℕ
В википедии есть ещё хороший пример, про то, что забывающий функтор обычно представим через свободную алгебру над единичным множеством