Вход Регистрация

kock перевод

Голос
"kock" примеры
ПереводМобильная
  • Коцк
Примеры
  • Anders Kock later found further simplifications so that a topos can be described as a category with products and equalizers in which the notions of map space and subobject are representable.
    Позднее Андерс Кок добился дальнейшего упрощения, так что топос мог быть описан как категория с произведениями и уравнителями, в которой могут быть представлены понятия пространства отображений и подобъекта.