Categorical Foundation of Mathematics?

[Hendrik Boom]

On Fri, May 20, 2022 at 09:25:57AM -0400, Timothy Y. Chow wrote:

> We do not expect elementary
> school students to understand what a category is or what a model is.

Elementary students these days are taught what a set is.

But I suspect they would have a hard time distinguishing
the membership relation in set theory
from the part-of relationship in mereology.

Even mathematical concepts taught in elementary school are subtly tricky.

-- hendrik