From the description of Category Theory in nlab:
Category theory is a structural approach to mathematics that can (through such methods as Lawvere's ETCS) provide foundations of mathematics and (through algebraic set theory) reproduce all the different axiomatic set theories; it does not need...
kind of naive maybe but it struck me as asking about a superposition of analysis and “structuralism” (categorical synthesis...)
A kind of “quantic” approach to foundational maths, generically not-deciding between wave and corpuscle, between categorical Universes of value and set-theoretical analytical universes of “reference” (maybe a link to semiotics...)
From the description of Category Theory in nlab:
Category theory is a structural approach to mathematics that can (through such methods as Lawvere's ETCS) provide foundations of mathematics and (through algebraic set theory) reproduce all the different axiomatic set theories; it does not need...
The Symposium
The Symposium