## Nikolajs notebook

### Meta

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 — Set theory — Natural number — Category theory — Hom-set adjunction — 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) — Exposition (light red)