the union bound says: P(A∪B) ≤ P(A) + P(B)

Chebyshev's inequality says: P(|X-μ| ≥ kσ) ≤ 1/k²

Chebyshev's inequality states P(|X-μ| ≥ kσ) ≤ 1/k²

Sum of angles of a triangle

Sum of angles in a triangle equals 180 degrees

Curry–Howard correspondence

Proofs are programs, types are propositions

Open set

How can we understand closeness without measuring distance?

Yoneda lemma

The Yoneda lemma embeds a locally small category into a functor category

Conditional probability

P(A|B) = P(A ∩ B) / P(B)