Абстрактные абстракции a la nadja_s

[pirkosha]

Вдогонку недавнему посту nadja_s о мерах.

Comments

[vanja_y]

Будет ли категория полунормированных пространств и сжимающих линейных отображений эквивалентна дуальной категории алгебр для монады конечно аддитивных мер вариации &le 1 на категории множеств?

[pirkosha]

Не думаю. По крайней мере, канонический функтор сравнения из первой категории во вторую - не эквивалентность (можно взять любое полунормированное пространство с нулевой полунормой и отобразить в ноль; это - не изоморфизм, а после применения функтора сравнения дает изоморфизм алгебр над монадой).

[nadja_s]

Фаллехов гендекосиллаб есть сложный пятистопный метр, состоящий из четырех хореев и одного дактиля, занимающего второе место. В античном стихосложении фаллехов гендекосиллаб требовал большой и постоянной цесуры после арсиса третьей стопы...

[vmagal]

Видишь, они беседуют о "монадах". Давай их чем-нибудь приземленным, чем-то вроде venison

[nadja_s]

Ты что - это как в кельнском соборе играть на губной гармошке!