Open maps of toposes (Q1139120)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Open maps of toposes |
scientific article |
Statements
Open maps of toposes (English)
0 references
1980
0 references
geometric morphisms between toposes
0 references
sub-openness
0 references
pre-openness
0 references
stability properties
0 references
open maps
0 references
full first-order logic
0 references
