leblon ([info]leblon) wrote,
@ 2008-04-23 07:34:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Обычно мне ничего интересного не снится. А тут вдруг приснилась какая-то история про двух братьев-близнецов, которые жувут в разных городах и не знают о существовании друг друга. Потом, как положено в какой-нибудь мыльной опере, они совершенно случайно встречаются. Шок, радость узнавания, и т.д. И в этот момент я понимаю, что это никакие не братья, а две категории, а их "встреча" - это утверждение, что они эквивалентны. Тут я и проснулся.

Advertisement

(Post a new comment)


[info]sasha_br
2008-04-23 02:53 pm UTC (link)
Когда Финкельберг первый раз приезжал в Израиль, ему приснилось преобразование Фурье, которое переводило мясные продукты
в молочные.

(Reply to this)(Thread)

[info]mochalkina
2008-04-24 07:31 am UTC (link)
you've made my day.

(Reply to this)(Parent)

[info]quantizator
2008-05-09 12:35 pm UTC (link)
:-)))) Получается, что функция exp{-x^2/2) совершенно некошерная...

(Reply to this)(Parent)

[info]kdv2005
2008-04-23 04:12 pm UTC (link)
Богатая аналогия.

(Reply to this)

[info]roma
2008-04-23 06:04 pm UTC (link)
o! A vot pro fizicheskie vashi ponjatija razve takoe prisnitsja?

(Reply to this)

[info]roma
2008-04-25 12:12 am UTC (link)
вот ясно, что ты не думал о том, канонически ли категории эквивалентны, т.е. определена ли эквивалентность однозначно с точностью до единственного изоморфизма; а еще лучше для каких-нибудь бесконечность категорий,
где бесконечное количество выборов с точностью до когерентной гомотопии. А ты подумай, интересно, что тебе тогда приснится! :)

(Reply to this)(Thread)

[info]leblon
2008-04-25 04:54 am UTC (link)
Ты мне лучше вот что скажи. Можно ли в категории дг-категорий ввести какое-то подобие триангулированной структуры? Мы тут вроде встретили какое-то подобие 2-функтора сдвига, но как насчет конуса? Сдвиг, правда, какой-то странный и имеется только если градуировка по модулю 2.

(Reply to this)(Parent)(Thread)

[info]roma
2008-04-26 08:27 pm UTC (link)
ну, конус от-я X\to Y это в сущности деформация Y + X[1]. Я бы думал, что такую деформацию в контексте dg-категорий можно определить (во всяком случае, если они происходят из dg-алгебр, что близко
к общему случаю, то наверное можно применить замечание, что из A-B бимодуля можно изготовить деформацию A+B). Так что если бы ты объяснил что такое этот твой сдвиг, можно было бы посмотреть получается ли определить такую деформацию.

(Reply to this)(Parent)(Thread)

[info]leblon
2008-04-27 02:37 am UTC (link)
Да, наша конкретная категория является категорией CDG-модулей над CDG-алгеброй, так что это достаточно близко. Мы пытались как-то продеформировать сумму категорий при помощи бимодуля, но дальше дело не пошло. Так я тебе про сдвиг по емайлу напишу.

(Reply to this)(Parent)

[info]posic
2008-04-27 02:17 pm UTC (link)
А как из A-B-бимодуля изготовить деформацию A+B?

(Reply to this)(Parent)

Create an Account
Forgot your login?
Login w/ OpenID
English • Español • Deutsch • Русский…