Nikolajs notebook

nikolaj_bw_moscow_2014.jpg

Meta

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 page About contains more details on the site. The Sitemap shows all the entries at once. Some bullet points of the content are…

Type theoryCategory theoryIntuitionistic propositional logicSet theoryDomain of discourseLimits 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 integralItō integralClassical canonical partition functionReaction rate equationMacroscopic observables from kinetic theoryPDE SystemEuler-Lagrange equationsNavier-Stokes equationsBoltzmann equation — …

my template entry, todo: content / site

Log In
Improvements of the human condition