Title: What is type theory?

Abstract: Anyone who hops onto the formalized mathematics bandwagon is greeted by the formalism of type theory. In this informal talk we shall familiarize ourselves with the fundamentals of type theory, relying only on the typical knowledge of a working mathematician.

— Andrej Bauer