Type theory

http://www.science4all.org/article/type-theory/

Now, following Poincaré’s quote, mathematics mainly boils down to determining what (different) constructions can be given the same name.

via bamalip