Комментарии 4
А это у Вас, случайно, не топосы получились?
Нет, в том смысле, что теория категорий и теория топосов ничего не говорит про память.
Ну, мало ли. К топосам Ловер и Гротендик пришли из разных соображений.
За двести лет ничего альтернативного множествам как первичному понятию математики не придумали (только топосы, но ими особо не пользуются). Наверное, тому есть причины.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Математические бланки // Часть 4: объекты в памяти