7 ms·
Not sure of details to make it a mathematical foundation but: A category can be defined in terms of its morphisms without mentioning objects and a topos has pr
by reuben364 2y ago
Not sure of details to make it a mathematical foundation but:
A category can be defined in terms of its morphisms without mentioning objects and a topos has predicates as morphisms into the subobject classifier.