Observations

Должен сознаться, что хоть я и в курсе был насчет Вселенной фон Ноймана, но идея, что у теории множеств должны быть разнообразные модели, почему-то только сейчас стала мне как бы очевидной.

И кстати, по вопросу моделирования моноидов в посетах. Да запросто. Берем "максимум", например, в качестве операции. Конечно, будет всегда идемпотентность, но что уж тут поделаешь. В теории множеств тоже не любой моноид моделируется. Например, моноид множеств по объединению.

Да блин, надо же быть таким тормозом.

Вот говорил мне Куздра.