nLab analogy

Examples

• function field analogy

• MKR analogy

• rubber-sheet analogy of gravity

Related concepts

mathematical statements

• theory

• judgement, assertion

• hypothesis, consequence

• axiom

• assignment

• definition (inductive, coinductive)

• lemma

• proposition/type (propositions as types)

• theorem

• proof/program (proofs as programs)

• example, counterexample

• conjecture, folklore

• exercise

• analogy

• tautology

• paradox

References

• Wikipedia, Analogy