cпасибо!

я не понимаю, я не множественник..даже мой лирический андроидальный герой понимает больше меня, потому что считать умеет.

а пока котороткое замечание: заключение Jensen's covering lemma может быть сформулировано так (проверь!): для любого X или X корасслоение ( 0--(c)--->X ), или есть X` в L, такой что X---(c)--> X' корасслоение.

про даймонды подумаю, на первый взгляд надо в формализм модельной катерогии добавить
"(почти)функторы" X |---> \cup X and A ---> {A} . (the latter isnt a functor..),
c ними может получится, мб

(Reply to this) (Parent)