PG
а он в телеграме?
нельзя только в телеграме сидеть
Size: a a a
2018 September 13
к
можно)
AT
mathoverflow - для матерых математиков, а math.se - для wannabe )
KV
можно)
Нельзя, потому что комнат нет. А вот были бы комнаты...
ЗП
еще такое есть https://dxdy.ru/
AT
Если ввести частичный порядок
a ≤ b, если a = 0, то насколько я понимаю, это получается ordered semigroup, наверное и ordered monoid можно по тем же правилам задать
a ≤ b, если a = 0, то насколько я понимаю, это получается ordered semigroup, наверное и ordered monoid можно по тем же правилам задать
мы так примерно и поняли слово “conical” — если на произвольном моноиде задать порядок через
то в конических (аддитивных) моноидах 0 будет боттомом и тогда слово конический вполне объясняется получившейся картинкой
(если целесообразно, может кто-нибудь из админов всю эту дискуссию перенести в алгебраический чатик?)
x <= y := exists z, y = x + z
то в конических (аддитивных) моноидах 0 будет боттомом и тогда слово конический вполне объясняется получившейся картинкой
(если целесообразно, может кто-нибудь из админов всю эту дискуссию перенести в алгебраический чатик?)
P
вообще действительно не хватает места, где задавать вопросы про алгебру
есть еще инфернал
P
хоть там и много рака, но алгебру можно обсудить всегда
AT
а можно ссылку? пока искал, очень много всего инфернального встретилось )
P
а можно ссылку? пока искал, очень много всего инфернального встретилось )
AT
спасибо
2018 September 14
P
Есть у кого работы по теории категорий в теорвере, написанные Воеводским? Он, вроде как, пытался там что-то сделать, но до конца так и не довел
NI
Видео только какое-то видел...
На arxiv'е таких его работ нет, прям сейчас не поленился проглядеть.
На arxiv'е таких его работ нет, прям сейчас не поленился проглядеть.
P
Видео только какое-то видел...
На arxiv'е таких его работ нет, прям сейчас не поленился проглядеть.
На arxiv'е таких его работ нет, прям сейчас не поленился проглядеть.
Жаль, спасибо
NI
Жаль, спасибо
Смутно помню, что какая-то статья такая была, но найти не могу.
P
Корректно ли говорить о категории как о структуре? И изоморфизмах категорий?
к
когда мы говорим об изоморфизме категорий, мы говорим о возможности построения биективного функтора
P
когда мы говорим об изоморфизме категорий, мы говорим о возможности построения биективного функтора
Это понятно
P
Меня интересует, можно ли тогда категорию назвать структурой