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 or questions or suggestions, please write me at Nikolaj Kuntner. Some cornerstones from different subjects:

Logic — Intuitionistic propositional logic — Type theory — Category theory — Set theory — Presheaf category — Natural number — Haskell — k-tape Turing machine — Banach space — Linear approximation — Function integral on ℝⁿ — Magic Gaussian integral — Classical canonical partition function — PDE System — Euler-Lagrange equations — Macroscopic observables from kinetic theory — Reaction rate equation — Boltzmann equation

— Sequel of (red)

todo: Pullback. Note that
- pullbacks + terminal object ⇒ equalizers + binary products
- binary products + terminal object ⇒ all finite products
- equalizers ⇒ all finite equalizers
- finite products + finite equalizers ⇒ finitely complete (= all finite limits)
- http://math.stackexchange.com/questions/591302/show-the-following-conditions-are-equivalent-for-a-category-c