No label defined (Q3693678)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1985
0 references
S-indexed functor
0 references
coend
0 references
essential geometric morphism
0 references
sup-lattices
0 references
locales
0 references
topos
0 references
cocomplete categories
0 references
Product of Grothendieck toposes
0 references
tensor product
0 references
