Benutzer:Stephan Spahn/Lawvere-Tierney Topologie

Definition

Sei $T$ ein Topos mit Unterobjektklassifikator $\Omega$.

Dann heisst ein Morphismus $j:\Omega \to \Omega$ Lawvere−Tierney Topologie auf $T$, falls die folgenden Eigenschaften gelten:

1. $j\circ \intercal =\intercal$
2. $j\circ j=j$
3. $j\circ \wedge =\wedge \circ (j\times j)$