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:

hngg.jpg

Intuitionistic propositional logicType theorySet theoryNatural numberCategory 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)

Login
Improvements of the human condition