• Paradox

    Birthday paradox, Monty Hall, Russell's paradox, and Banach-Tarski — with full probability spaces.

  • Monoid

    Three equivalent descriptions of a monoid: set with operation, one-object category, and commutative diagrams.

  • Group Ring Field

    Groups, rings, fields, and ideals — with the Euclidean GCD algorithm as a use case.