Deligne's completeness theorem
From Wikipedia, the free encyclopedia
In mathematics, Deligne's completeness theorem says a coherent topos has enough points. It was first introduced by Pierre Deligne in SGA 4.
In 1970s, the category theorist William Lawvere observed that Deligne's theorem implies the Gödel completeness theorem.[1]
See also
- Barr's theorem
