Cartesian inclusion: locales and topgses<sup>∗</sup> (Q3961633)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cartesian inclusion: locales and topgses<sup>∗</sup> |
scientific article |
Statements
Cartesian inclusion: locales and topgses<sup>∗</sup> (English)
0 references
1981
0 references
locales
0 references
topos
0 references
complete-Heyting-algebra objects
0 references
generalized topological space objects
0 references
cartesian objects
0 references
inclusion maps
0 references
bicategories
0 references
