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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2017-07-04 11:01:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
верхний пост - 2014
Архив верхнего поста.

Архивы:
[ 2013 | 2012 | 2011 | 2007-2010 | 2006 ]

(Читать комментарии) - (Добавить комментарий)

Re: Какими основаниями пользуются Михаил и Дмитрий?
[info]kaledin
2017-02-08 03:06 (ссылка)
>NBG+теоркат

Ну типа.

На практике, со времен Гротендика многие облегчают себе жизнь, вводя аксиому универса (что есть универсы, и что каждый конкретный можно при необходимости увеличить). Лично я избегаю, мне хватает множеств и классов, т.е. малых и больших категорий. Аксиома выбора по классам причем не нужна, достаточно знать, что полный строгий существенно сюръективный функтор есть эквивалентность (что вызывает больше доверия, чем общее утверждение). Как оно все формально записывается, мне неведомо, и не думаю, что это важно.

(Ответить) (Уровень выше)

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