nLab conjecture

Examples

• Weil conjecture

• standard conjectures on algebraic cycles

• Beilinson conjecture

• Mumford conjecture

• geometric Langlands correspondence-conjecture

• section conjecture

• Sen's conjecture

Related concepts

• axiom

• definition

  • inductive definition

  • coinductive definition

• theory

• lemma

• proposition/type (propositions as types)

• proof/program (proofs as programs)

• theorem

• example

• counterexample

• folklore

• conjecture

• analogy

• paradox

• exercise

References

• Wikipedia, Conjecture