- Category Theory
- compressing and summarizing
- digraph theory
- Higher trees
- Kalai trees
- mathematical aphorisms
- Simplicial complexes
- Structure theory
Category Archives: mathematical aphorisms
Perhaps the best example1 of a sound and complete proof system for a general audience are the three Reidemeister moves. 1 Calling Reidemeister moves a ‘proof system’ goes back at least to Avi Wigderson’s 2006 ICM contribution. Advertisements
Bicategories are useful because they allow to constructively compare comparisons.
With the discovery of higher dimensional algebra, the standard technical term linear equation accidentally has acquired a non-standard second meaning. In particular: old-sense linear equationnew-sense linear equationany old-sense equation.
One should intentionally take an intensional view on the things one cares about.
It is by design that it has no content.
In Constructive Mathematics, proof-by-exhaustion is not in general exhaustive, though often still exhausting.