Nikolajs notebook



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 vertex About contains more details on the site. Some bullet points of the content are…

Type theoryCategory theoryIntuitionistic propositional logicSet theoryDomain of discourse

$$ \require{AMScd} \begin{CD} \text{physics} @>{\text{!}}>> * \\ @V{\text{m}\ }VV @VV{\top}V \\ {\large\heartsuit} @>>{\chi}> \Omega \end{CD} $$

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 — …

todo: content / site

Improvements of the human condition