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