nLab De Morgan topos

Redirected from "De Morgan toposes".
Contents

Context

Category theory

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Idea

A De Morgan topos \mathcal{E} is a middle thing between a Boolean topos with a classical internal logic and a general topos with an intuitionistic internal logic, in that the lattices of subobjects in \mathcal{E} obey a weak form of the law of excluded middle which defines a De Morgan Heyting algebra.

The de Morgan property has many equivalent formulations and many facets making the class of de Morgan toposes an important one in topos theory. From the perspective on toposes as generalized spaces they correspond to extremally disconnected spaces in topology.

Definition

A topos \mathcal{E} is called a De Morgan topos if its subobject classifier Ω\Omega is an internal De Morgan Heyting algebra.

Examples

Some equivalent formulations

The importance of the concept of a De Morgan topos stems partly from the fact that for many statements whose classical (Boolean) validity is lost in intuitionistic logic the De Morgan property delineates precisely the range of toposes where the statement is valid. An illustration of this is e.g. the implication that maximal ideals are prime in commutative rings.

Though such statements are in fact equivalent to the De Morgan property they are better viewed as higher-order properties of De Morgan toposes.

In contrast, there exists also a long list, mostly due to Johnstone (1979), of statements equivalent to the De Morgan property, that are logically of the same complexity and are often more convenient to work with than the original definition. Some of the most important of these appear in the following:

Proposition

Let \mathcal{E} be a topos. The following are equivalent:

  • \mathcal{E} is a De Morgan topos.

  • For all formulae φ,ψ\varphi,\psi : ¬(φψ)(¬φ¬ψ)\mathcal{E}\models \neg (\varphi\wedge\psi)\Leftrightarrow(\neg\varphi\vee\neg\psi) .

  • For every formula φ\varphi : ¬φ¬¬φ\mathcal{E}\models \neg\varphi\vee\neg\neg\varphi.

  • For every subobject XYX\rightarrowtail Y: ¬X¬¬X=Y\neg X\vee\neg\neg X=Y.

  • Sub(X)Sub(X) is a De Morgan Heyting algebra for every XX\in\mathcal{E}.

  • The canonical monomorphism (,):11Ω ¬¬(\top,\bot):1\coprod 1\rightarrowtail\Omega_{\neg\neg} to the subobject classifier of Sh ¬¬()Sh_{\neg\neg}(\mathcal{E}) is an isomorphism.

  • Ω ¬¬\Omega_{\neg\neg} is decidable.

  • 111\coprod 1 is a retract of Ω ¬¬\Omega_{\neg\neg}.

  • 111\coprod 1 is injective.

  • Every ¬¬\neg\neg-sheaf is decidable.

  • :1Ω\bot:1\to\Omega has a complement.

  • The object of Dedekind reals coincides with the object of Dedekind-MacNeille reals.

The first few equivalences are based mainly on the validity of the “law of excluded middle” for elements of the form ¬a\neg a in any De Morgan Heyting algebra. For the rest see e.g. Johnstone (2002, pp.999-1000). The very last point is supplied by Johnstone (1979).

Properties

The following shows that ‘being De Morgan’ is a local property i.e. stable under slicing. This is immediate from the fact that the functor /A\mathcal{E}\to\mathcal{E}/A sending XX to the projection p A:X×AAp_A: X\times A\to A is logical hence preserves the various equivalent formulations of De Morgan’s law.

Proposition

Let AA be an object of the De Morgan topos \mathcal{E}. Then the slice topos /A\mathcal{E}/A is De Morgan as well.

Proposition

Let 𝒞\mathcal{C} be a small category. The presheaf topos Set 𝒞 opSet^{\mathcal{C}^{op}} is De Morgan precisely if 𝒞\mathcal{C} satifies the Ore condition.

This result due to Peter Johnstone appears e.g. in Johnstone (1979). Compare also the generalizations in Kock-Reyes (1994) and Caramello (2012).

Since the dense topology coincides with the atomic topology on 𝒞\mathcal{C} satisfying the Ore condition the preceding proposition implies that the double negation subtopos of a De Morgan presheaf topos Set 𝒞 opSet^{\mathcal{C}^{op}} is always atomic.

De Morganization

It was discovered by Olivia Caramello that every topos \mathcal{E} can be associated with a De Morgan topos Sh m()Sh_m(\mathcal{E}), its De Morganization, in a universal way:

Proposition

Given a topos \mathcal{E}. There exists a unique largest dense subtopos Sh m()Sh_m(\mathcal{E}) of \mathcal{E} that is a De Morgan topos.

For a proof see Caramello (2009). The mm that occurs here, refers to the De Morgan topology , cf. De Morganization.

As Sh ¬¬()Sh_{\neg\neg}(\mathcal{E}), the sheaf subtopos for the double negation topology ¬¬\neg\neg , is the smallest dense De Morgan subtopos, we see that all dense De Morgan subtoposes lie in the interval between Sh ¬¬()Sh_{\neg\neg}(\mathcal{E}) and Sh m()Sh_{m}(\mathcal{E}).

In analogy with skeletal geometric morphisms that preserve ¬¬\neg\neg-sheaves, geometric morphisms \mathcal{F}\to\mathcal{E} that map mm-sheaves in \mathcal{F} to mm-sheaves in \mathcal{E} are called mm-skeletal. They occur in the following characterization of De Morgan toposes (cf. De Morganization):

Proposition

A topos \mathcal{E} is De Morgan iff every geometric morphism \mathcal{F}\to\mathcal{E} is mm-skeletal. \qed

The Gleason cover

Another way to associate a De Morgan topos to an arbitrary topos \mathcal{E} was proposed by Peter Johnstone in the late 70s (Johnstone 1979b, 1980). The so called Gleason cover γ\gamma\mathcal{E} of \mathcal{E} generalizes a construction in topology that covers an arbitrary space by an extremally disconnected topological space.

……

Relation to cohesion

Given that the above conditions concern 111\coprod 1 and the contractability of Ω ¬¬\Omega_{\neg\neg} it comes as no surprise that the De Morgan property interacts interestingly with Lawvere's axiomatic approach to cohesion and, in particular, with the part of it that concerns the connectedness of the subobject classifier in a cohesive topos of spaces. A first indication of this is the following:

Proposition

Let Set 𝒞 opSet^{\mathcal{C}^{op}} be a presheaf topos. Then its subobject classifier is connected iff 1Set 𝒞 op1\in Set^{\mathcal{C}^{op}} is a connected object and Set 𝒞 opSet^{\mathcal{C}^{op}} is not de Morgan iff there exists a connected object XSet 𝒞 opX\in Set^{\mathcal{C}^{op}} such that 11X1\coprod 1\rightarrowtail X .

This result appears in La Palme-Reyes-Reyes-Zolfaghari (2004, p.220) where it is attributed to Lawvere.

The following result due to Mielke (1984) shows that the De Morgan property coincides with the (local) absence of a non-trivial interval objects in a topos.

Here by an interval object we mean an internal linearly ordered object II with disjoint least and greatest elements m:1Im:1\to I and M:1IM:1\to I, respectively, i.e. roughly the sort of thing that is classified by sSet.

An interval object is trivial if II 1I 2I\simeq I_1\coprod I_2 and m,Mm,M factor through I 1,I 2I_1,I_2, respectively. A topos \mathcal{E} is said to be homotopically trivial if every interval object in \mathcal{E} is trivial, \mathcal{E} is said to locally homotopically trivial if the slice topos /X\mathcal{E}/X is homotopically trivial for all XX\in\mathcal{E}.

Proposition

A topos \mathcal{E} is locally homotopically trivial iff \mathcal{E} is a De Morgan topos. If subobjects of 11 generate, then \mathcal{E} is homotopically trivial iff \mathcal{E} is a De Morgan topos.

For situations where subobjects of 11 generate see e.g. Johnstone (1977, sec.5.3 pp.145ff). For a Grothendieck topos \mathcal{E}, this happens precisely when \mathcal{E} is equivalent to Sh(L)Sh(L) for some locale LL. From e.g. Borceux (1994, p.443) it follows then that Sh(L)Sh(L) is homotopically trivial precisely when LL is a De Morgan locale.

Relation to model theory

….

Proposition

Let 𝒯\mathcal{T} be a coherent theory. Then 𝒯\mathcal{T} admits a model companion? and Mod(𝒯)Mod(\mathcal{T}) has the amalgamation property iff for each B𝒯B\in\mathcal{T} , the lattice of subobjects of BB admits a negation satisfying ¬A¬¬A=B\neg A\vee\neg\neg A = B.

This result appears without proof in Harun (1976, p.73) where it is attributed to a preprint of André Joyal and Gonzalo E. Reyes.

References

  • A. Bagchi, De Morgan’s law and related identities in classifying topoi , Proc. CT91 pp.1-32, American Mathematical Society 1992.

  • A. Bagchi, Lee Identities in Topoi I , JPAA 120 (1997) pp.143-159.

  • Francis Borceux, Handbook of Categorical Algebra vol.3 , Cambridge UP 1994. (sections 1.2, 7.3)

  • Olivia Caramello, De Morgan classifying toposes , Adv. in Math. 222 (2009) pp.2117-2144. (arXiv:0808.1519)

  • Olivia Caramello, Topologies for intermediate logics , arXiv:1205.2547 (2012). (arXiv:1205.2547)

  • Olivia Caramello, Peter Johnstone, De Morgan’s law and the Theory of Fields , Adv. in Math. 222 (2009) pp.2145-2152. (arXiv:0808.1572)

  • R. Harun, Applications of De Morgan toposes and the Gleason cover , PhD Montréal 1996. (pdf 4.6MB)

  • Peter Johnstone, Topos Theory , Academic Press New York 1977. (Dover reprint New York 2014, exercise 5.5.3 p.162)

  • Peter Johnstone, Conditions Related to De Morgan’s Law , pp.479-491 in LNM 753 Springer Heidelberg 1979.

  • Peter Johnstone, Another Condition Equivalent to De Morgan’s Law , Comm. Alg. 7 (1979) pp.1309-1312.

  • Peter Johnstone, The Gleason Cover of a Topos I , JPAA 19 (1980) pp.171-192.

  • Peter Johnstone, The Gleason Cover of a Topos II , JPAA 22 (1981) pp.229-247.

  • Peter Johnstone, Sketches of an Elephant vol. II, Oxford UP 2002. (section D4.6, pp.998ff)

  • Peter Johnstone, The Gleason Cover of a Realizability Topos , TAC 28 no.32 (2013) pp.1139-1152. (abstract)

  • Anders Kock, Gonzalo E. Reyes, Relatively Boolean and De Morgan Toposes and Locales , Cah. Top. Géom. Diff. Cat. 35 no.3 (1994) pp.249-261. (numdam)

  • William Lawvere, Matías Menni, Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness , TAC 30 no.26 (2015) pp.909-932. (abstract)

  • K. B. Lee, Equational Classes of Distributed Pseudo-Complemented Lattices , Can. J. Math. 22 (1970) pp.881-891. (pdf)

  • B. Loiseau, M.-M. Mawanda, On Natural Number Objects, Finiteness and Kripke-Platek Models in Toposes , JPAA 61 (1989) pp.257-266.

  • M.-M. Mawanda, Well-ordering and Choice in Toposes , JPAA 50 (1988) pp.171-184.

  • M. V. Mielke, Homotopically Trivial Toposes , Pacific J. Math. 110 no.1 (1984) pp.171-182. (euclid)

  • M. V. Mielke, Topos based homology theory , Comment. Math. Univ. Carolinae 34 (1993) pp.549-565. (pdf)

  • Chris Mulvey, The Maximality of Filters , JPAA 68 (1990) pp.253-258.

  • M. La Palme Reyes, G. E. Reyes, H. Zolfaghari, Generic Figures and their Glueings , Polimetrica Milano 2004.

  • M. E. Szabo, Categorical De Morgan laws , Alg. Universalis 12 (1981) pp.93-102.

Last revised on November 16, 2022 at 20:41:32. See the history of this page for a list of all contributions to it.