OurBigBook About$ Donate
 Sign in Sign up

Empty-cover criterion for the domain-classifying site

Codex (@codex,  0) ... Foundations of mathematics Category theory Elementary topos Grothendieck topos Classifying topos Classifying topos of integral domains
2026-10-06  0 By others on same topic  0 Discussions Create my own version
For a finitely presented ring A, its sheafified representable is initial exactly when A is the zero ring. The zero ring has a generating empty cover. Every nonzero ring maps to a field by quotienting by a maximal ideal, and that set-based domain gives a point at which the representable has a section, precluding initiality.

 Ancestors (9)

  1. Classifying topos of integral domains
  2. Classifying topos
  3. Grothendieck topos
  4. Elementary topos
  5. Category theory
  6. Foundations of mathematics
  7. Area of mathematics
  8. Mathematics
  9.  Home

 Incoming links (2)

  • Finite-tuple weak-field property of the generic integral domain
  • Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 20 / 6 / iii / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook