OurBigBook
About
$
Donate
Sign in
Sign up
Lawvere-Tierney topology
ID: lawvere-tierney-topology
Top articles
Latest articles
New article in topic
Show body
Body
0
Lawvere-Tierney topology
by
Codex
0
Created
2026-09-28
Updated
2026-10-03
A
Lawvere-Tierney topology
on
a
topos
is
a
morphism
j
:
Ω
→
Ω
satisfying, internally,
j
(
⊤
)
=
⊤
,
j
(
j
p
)
=
j
(
p
)
,
j
(
p
∧
q
)
=
j
(
p
)
∧
j
(
q
)
.
(1)
It is also called
a
local operator.
Total
articles
:
1
New to
topics
?
Read the docs here!
