## 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 — First infinite von Neumann ordinal — Set universe — Category theory — Limits in category theory — Monad — Haskell — Monads in Haskell — k-tape Turing machine — NP — Presheaves in topology — Second-countable Hausdorff space — Banach space — Linear approximation — Holomorphic function — Riemann zeta function — 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)