Nikolajs notebook


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 theoryCategory theoryIntuitionistic propositional logicSet theoryDomain of discourse

Limits in category theoryMonadHaskellMonads in HaskellSet universeFirst infinite von Neumann ordinalk-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)

Natural number $\to$ First infinite von Neumann ordinal

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

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

Improvements of the human condition