Categorical Foundation of Mathematics?

Hendrik Boom hendrik at
Tue May 24 22:39:32 EDT 2022

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

More information about the FOM mailing list