## 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:

Type theory — Category theory — Intuitionistic propositional logic — Set theory — Domain of discourse

Limits in category theory — Monad — Haskell — Monads in Haskell — Set universe — First infinite von Neumann ordinal — 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)