Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет muda ([info]muda)
@ 2011-05-12 13:13:00

Previous Entry  Add to memories!  Tell a Friend!  Next Entry
leave a Grothendieck universe
искрометный пассаж из википедии:

There is another approach to universes which is historically connected with category theory. This is the idea of a Grothendieck universe. Roughly speaking, a Grothendieck universe is a set inside which all the usual operations of set theory can be performed. For example, the union of any two sets in a Grothendieck universe U is still in U. Similarly, intersections, unordered pairs, power sets, and so on are also in U. This is similar to the idea of a superstructure above. The advantage of a Grothendieck universe is that it is actually a set, and never a proper class. The disadvantage is that if one tries hard enough, one can leave a Grothendieck universe.


(Читать комментарии)

Добавить комментарий:

Как:
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Имя пользователя:
Пароль:
Тема:
HTML нельзя использовать в теме сообщения
Сообщение: