Математика отражает философию: larva tus против лямбда-куба.
Недоразумение прояснило забавную вещь: системы до-декартовых философов (Суарез, Фома, Дунс Скот, all the way back to Aristotle), оперировавших механизмом „субстанциональных форм“, естественным образом интерпретируются в декартово замкнутой категории (может в топосе?), по-крайней мере, если верить Куайну; а декартово отрицание субстанциональных форм загоняет интерпретацию в категорию более бедной структуры.
Даже и поверхностный взгляд на современную логику подтверждает полную победу реализма самого оголтелого толка.