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

*“Bourbaki has apparently decided that the theory of manifolds has now entered that domain of “dead” mathematics to which he hopes to give definitive form. In this summary of results the corpse is laid out to public view; the complete autopsy is eagerly awaited.”* - Michael Spivak, A Comprehensive Introduction to Differential Geometry

*“Although this was a course at a French university, several examples of hyperfunctions are given just before Theorem 3.2.45.”* - Masaki Kashiwara, Systems of microdifferential equations

— Sequel of (red)

— Exposition (light red)