In this wiki I try to keep track of some of the vast amount of mathematical objects and learn about their relationships. All entries can be viewed and accessed through an interactive graph. Unfortunately, it got quite big and doesn't render smoothly anymore. The vertex About contains more details. If you have questions or suggestions, please write me at Nikolaj Kuntner. Some cornerstones from different subjects:

Intuitionistic propositional logic — Type theory — Category theory — Set theory — Presheaf category — Natural number — Haskell — k-tape Turing machine — Banach space — Linear approximation — Function integral on ℝⁿ — Magic Gaussian integral — Classical canonical partition function — PDE System — Euler-Lagrange equations — Macroscopic observables from kinetic theory — Reaction rate equation — Boltzmann equation

—

— Sequel of (red)