## 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. The vertex *About* contains more details. If you have questions or suggestions, please write me at *Nikolaj Kuntner*. The entries can be viewed and accessed through an interactive *graph* (temporary out of order). I discuss it in a little more structured way in this outline. 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)

— Natural number $\to$ First infinite von Neumann ordinal

— ==== Discussion ==== $\to$ 5-

— ==== Parents ==== $\to$ 5-