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