Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:topology |
| gptkbp:appliesTo |
gptkb:topology
|
| gptkbp:defines |
subobject classifier
|
| gptkbp:describes |
closure operator on subobjects
|
| gptkbp:field |
gptkb:category_theory
|
| gptkbp:generalizes |
Grothendieck topology
|
| https://www.w3.org/2000/01/rdf-schema#label |
Lawvere–Tierney topology
|
| gptkbp:introducedIn |
1970
|
| gptkbp:namedAfter |
gptkb:F._William_Lawvere
gptkb:Myles_Tierney |
| gptkbp:relatedTo |
sheaf theory
Boolean topos geometric morphism |
| gptkbp:usedFor |
internal logic of a topos
|
| gptkbp:bfsParent |
gptkb:William_Lawvere
|
| gptkbp:bfsLayer |
6
|