|
Jul. 30th, 2010|08:42 am |
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 ними может получится, мб
|
|