4 ms·
The abstraction from counting to the natural numbers is called "decategorification", in category theory. The abstraction of sameness is called "equivalence" or
by myWindoonn 6y ago
The abstraction from counting to the natural numbers is called "decategorification", in category theory. The abstraction of sameness is called "equivalence" or "isomorphism".