Topical categories of domains (Q4719352)
From MaRDI portal
scientific article; zbMATH DE number 1383793
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Topical categories of domains |
scientific article; zbMATH DE number 1383793 |
Statements
Topical categories of domains (English)
0 references
10 October 2000
0 references
toposes as topology-free spaces
0 references
automatically continuous
0 references
topical category
0 references
Grothendieck toposes
0 references
geometric morphisms
0 references
strongly algebraic domains
0 references
cartesian closed category
0 references
2-categorical aspects of topos theory
0 references
geometric logic
0 references
