Как называется функция, индексирующая вселенные Гротендика?

Предположим, что существует теория множеств Тарского-Гротендика. Тогда вселенные Гротендика образуют хорошо упорядоченный собственный класс, так что мы можем позволить U α обозначить α Вселенная Гротендика, где α является порядковым номером.

Функционирует ли (правильный класс) α ↦ U α есть имя?

Я хотел бы предложить Grothendex [альтернативно Grothindex].

Ответы (1)

Я не думаю, что у этой функции есть широко распространенное название, потому что иначе кто-то ответил бы на нее через 4,5 года.

Я, гоблин Обама, одобряю это сообщение.
Я просто не выдержал…
Посмотрим правде в глаза, ваши рассуждения безупречны :)
Как называется функция, индексирующая вселенные Гротендика?
СпросиСетьПолитика конфиденциальности1y, 0v