Draft:History of equality

Measurement

History of measurement

Greek philosophy and geometry

Congruence (geometry)

Islamic golden age

Al-Khwarizmi and the development of Algebra

Peano axioms

(Temp text)

Substitution (Leibniz)

Substitution (logic)

Category theory

Natural transformation