\tableofcontents \section{Idea} This article is about dependent type theories, which is the foundations for the rest of mathematics time to copy half the [[homotopy type theory]] article over here. \section{See also} * [[homotopy type theory]] * [[cohesive homotopy type theory]]