In mathematics, a Lawvere–Tierney topology is an analog of a Grothendieck topology for an arbitrary elementary topos, used to construct a topos of sheaves. A Lawvere–Tierney topology is also sometimes also called a local operator or coverage or topology or geometric modality. They were introduced by William Lawvere (1971) and Myles Tierney.
Definition If E is a topos, then a topology on E is a morphism j from the subobject classifier Ω to Ω such that j preserves truth ( j ∘ true = true {\displaystyle j\circ {\mbox{true}}={\mbox{true}}} ), preserves intersections ( j ∘ ∧ = ∧ ∘ ( j × j ) {\displaystyle j\circ \wedge =\wedge \circ (j\times j)} ), and is idempotent ( j ∘ j = j {\displaystyle j\circ j=j} ).
j-closure
Given a subobject s : S ↣ A {\displaystyle s:S\rightarrowtail A} of an object A with classifier χ s : A → Ω {\displaystyle \chi _{s}:A\rightarrow \Omega } , then the composition j ∘ χ s {\displaystyle j\circ \chi _{s}} defines another subobject s ¯ : S ¯ ↣ A {\displaystyle {\bar {s}}:{\bar {S}}\rightarrowtail A} of A such that s is a subobject of s ¯ {\displaystyle {\bar {s}}} , and s ¯ {\displaystyle {\bar {s}}} is said to be the j-closure of s. Some theorems related to j-closure are (for some subobjects s and w of A):
inflationary property: s ⊆ s ¯ {\displaystyle s\subseteq {\bar {s}}}
idempotence: s ¯ ≡ s ¯ ¯ {\displaystyle {\bar {s}}\equiv {\bar {\bar {s}}}}
preservation of intersections: s ∩ w ¯ ≡ s ¯ ∩ w ¯ {\displaystyle {\overline {s\cap w}}\equiv {\bar {s}}\cap {\bar {w}}}
preservation of order: s ⊆ w ⟹ s ¯ ⊆ w ¯ {\displaystyle s\subseteq w\Longrightarrow {\bar {s}}\subseteq {\bar {w}}}
stability under pullback: f − 1 ( s ) ¯ ≡ f − 1 ( s ¯ ) {\displaystyle {\overline {f^{-1}(s)}}\equiv f^{-1}({\bar {s}})} .
Examples Grothendieck topologies on a small category C are essentially the same as Lawvere–Tierney topologies on the topos of presheaves of sets over C. Lawvere–Tierney topologies on the effective topos generalize the notion of an oracle in computability theory.
Internal point of view The statement that a morphism j : Ω → Ω {\displaystyle j:\Omega \to \Omega } is a Lawvere–Tierney topology can be expressed purely in the internal language of the elementary topos. Indeed, a rephrasing of the definition is that j {\displaystyle j} is a Lawvere–Tierney topology when the following three conditions are satisfied internally:
j ( ⊤ ) = ⊤ {\displaystyle j(\top )=\top }
∀ p : Ω , j ( j ( p ) ) ⇔ j ( p ) {\displaystyle \forall \,p:\Omega ,j(j(p))\Leftrightarrow j(p)}
∀ p q : Ω , j ( p ∧ q ) ⇔ j ( p ) ∧ j ( q ) {\displaystyle \forall \,p\,q:\Omega ,j(p\land q)\Leftrightarrow j(p)\land j(q)}
An equivalent definition uses the following three conditions instead:
∀ p q : Ω , ( p ⇒ q ) ⇒ ( j ( p ) ⇒ j ( q ) ) {\displaystyle \forall \,p\,q:\Omega ,(p\Rightarrow q)\Rightarrow (j(p)\Rightarrow j(q))}
… excerpt ends here. Continue reading the full article.
