Comment by hackandthink

"Integers and rational numbers are also reals"

Many mathematicians don't think so.

Category Theory has a category of sets. Integers/Rationals/Reals are different Objects (sets) in this category.

Type Theory is similar s/Category/Type.