Size: a a a

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

2019 August 04

ЕО

Евгений Омельченко in Теория категорий
Может быть.

Я вполне допускаю, что когда мы строим иерархию категорий, то получаются не только модели классической теории множеств, но и модели интуитивистских теорий множеств. Но на сём заканчивается граница моих знаний о категориях как теоретическом формализме
источник

NI

Nick Ivanych in Теория категорий
Так-то, всё оочень зависит от...
Базовую логику можно слишком по-разному строить...
Линейная логика приведёт к чему-то уже совсем непривычному ;-)
источник
2019 August 05

NI

Nick Ivanych in Теория категорий
А есть чисто категорная формулировка, аналогичная универсуму Гротендика, но без привязки к конкретным структурам?
(Например, в топосе формулируется почти то же самое).
источник

PC

Pika Chu in Теория категорий
Евгений Омельченко
На алибе маклейн 7к стоит. Пиздец :(
Скорее всего из-за того, что одну копию нужно напечатать. Можно попробовать договориться с ФИЗМАТЛИТОМ о мелкой партии. Скорее всего желающие найдутся, а цена будет существенно ниже.
источник

ЕО

Евгений Омельченко in Теория категорий
Не, там Б/У
источник

NI

Nick Ivanych in Теория категорий
Pika Chu
Скорее всего из-за того, что одну копию нужно напечатать. Можно попробовать договориться с ФИЗМАТЛИТОМ о мелкой партии. Скорее всего желающие найдутся, а цена будет существенно ниже.
Приучились бы уже электронное читать ;-)
источник
2019 August 06

SS

Stanisλav Seregin in Теория категорий
Давно не виделись)
источник
2019 August 08

C

Combot in Теория категорий
Alert! Mark Morales Sen is a known spammer and is CAS banned. Ban is strongly recommended.
источник
2019 August 12

EP

Emelian Piker (Евгений) in Теория категорий
источник

EP

Emelian Piker (Евгений) in Теория категорий
Граф изонений суперсингулярный эллиптических кривых обладает некомутативными свойствами. В теории категорий морфизмы ведь тоже некомутативны
источник

NI

Nick Ivanych in Теория категорий
Очень много, чего некоммутативно.
Но причём тут категории?
источник

EP

Emelian Piker (Евгений) in Теория категорий
Тоесть этот граф должен быть ещё и асоциативен, и тогда есть шанс что теория категорий может помочь в изучении таких изогений ?
источник

NI

Nick Ivanych in Теория категорий
Скорее, не сами изогении загонят в категорию, а будут изучать категорию таких вот графов изогений.
источник

EP

Emelian Piker (Евгений) in Теория категорий
Так это же круто, имея категорию изогений можно заставить компьютер искать комбинации изогений которые могут дать какуюто интересную полезную криптологику
источник

NI

Nick Ivanych in Теория категорий
Ещё есть забавные штуки, которые всё никак с категориями не свяжут, это ориентированные матроиды.
Попытка изучения их категории почти ни к чему привела, насколько я знаю.
источник

NI

Nick Ivanych in Теория категорий
Неоднократно расспрашивал специалистов по конечным группам, они тоже говорят, что им категории, почему-то уж так сложилось, что нафиг не нужны ;-)
источник

NI

Nick Ivanych in Теория категорий
Emelian Piker (Евгений)
Так это же круто, имея категорию изогений можно заставить компьютер искать комбинации изогений которые могут дать какуюто интересную полезную криптологику
Я не очень понимаю, что тут и зачем можно вычислять...
источник

EP

Emelian Piker (Евгений) in Теория категорий
Nick Ivanych
Я не очень понимаю, что тут и зачем можно вычислять...
Доказывать взламываемость на квантовом компе. Была такая история, написали криптосхему с изогениями, а потом котото доказал что например если это звездограф то оно ломается даже обычным компом.
источник

NI

Nick Ivanych in Теория категорий
Ооочень не обязательно, что категории тут будут выгодны для таких описаний.
источник

EP

Emelian Piker (Евгений) in Теория категорий
Использовать теорию категорий чтобы доказывать взламываемость опр графов изогений
источник