In this wiki I try to keep track of some of the vast amount of mathematical objects and learn about their relationships. This is the credible and neatly interlocked notebook of a physicist and where the content leans towards applications, it's with an eye on stochastics, statistical physics and their computational implementation. It also contains content for a book and ideas for a typed programming language for the formal sciences. The page About contains more details. The Sitemap shows all the Wiki entries at once, while some bullet points of the content are listed below. If you have questions or suggestions, please contact me at
Intuitionistic propositional logic — Category theory — Set theory — Domain of discourse — Limits in category theory — Monad — Haskell — Monads in Haskell — Set universe — First infinite von Neumann ordinal — k-tape Turing machine — NP — Presheaves in topology — Second-countable Hausdorff space — Banach space — Linear approximation — Holomorphic function — Riemann zeta function — Function integral on ℝⁿ — Magic Gaussian integral — Itō integral — On physical units . note — Classical canonical partition function — Reaction rate equation — Macroscopic observables from kinetic theory — PDE System — Euler-Lagrange equations — Navier-Stokes equations — Boltzmann equation — …
If p are parameters and c_p(x) curves with x_min(c_p)=f(p) known, try to find x_min(c') by fitting c_p to c'. Now what's p here. Is there a scheme so that we can extend the list p to have guaranteed that there are parameters so that eventually c_p=c'?