Nikolajs notebook


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 logicType theorySet theoryFirst infinite von Neumann ordinalSet universeCategory theoryLimits in category theoryMonadHaskellMonads in Haskellk-tape Turing machineNPPresheaves in topologySecond-countable Hausdorff spaceBanach spaceLinear approximationHolomorphic functionRiemann zeta functionFunction integral on ℝⁿMagic Gaussian integralClassical canonical partition functionPDE SystemEuler-Lagrange equationsMacroscopic observables from kinetic theoryReaction rate equationBoltzmann equation

— Sequel of (red) — Exposition (light red)

Improvements of the human condition