Categorical Foundation of Mathematics?
hendrik at topoi.pooq.com
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.
More information about the FOM