## 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.
If you have questions or suggestions, please write me at *Nikolaj Kuntner*.
The page *About* contains more details on the site.
The *Sitemap* shows all the entries at once. Some bullet points of the content are…

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 — Itō integral — Classical canonical partition function — Reaction rate equation — Macroscopic observables from kinetic theory — PDE System — Euler-Lagrange equations — Navier-Stokes equations — Boltzmann equation — …

my template entry, todo: content / site