Category Archives: mathematical aphorisms

Mathematical Aphorisms. Part 6.

There probably is no better illustration of the vagaries of notational fashion than the fact that nowadays, the numeral 1 is commonly used to denote the (conceptually very important) terminal category, while George Boole 170 years ago used 1┬áto denote … Continue reading

Posted in Category Theory, expository, mathematical aphorisms, Mathematics, Olds | Leave a comment

Mathematical Aphorisms. Part 5.

One should not pool together concepts, rather one should pull together concepts.

Posted in expository, mathematical aphorisms, Olds | Leave a comment

Mathematical aphorisms. Part 4.

Bicategories are useful because they allow to constructively compare comparisons.

Posted in Category Theory, expository, mathematical aphorisms, Mathematics | Leave a comment

Mathematical Aphorisms. Part 3.

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.

Posted in Category Theory, expository, mathematical aphorisms, Mathematics | Leave a comment

Mathematical Aphorisms. Part 2.

One should intentionally take an intensional view on the things one cares about.

Posted in Category Theory, expository, felicities, logic, mathematical aphorisms, Uncategorized | Leave a comment

Mathematical Aphorisms. Part 1.

It is by design that it has no content.        

Posted in expository, mathematical aphorisms | Leave a comment

Mathematical Aphorisms. Part 0.

In Constructive Mathematics, proof-by-exhaustion is not in general exhaustive, though often still exhausting.

Posted in mathematical aphorisms, Research | Tagged | Leave a comment