Cartesian closed initial completions (Q1134212)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cartesian closed initial completions |
scientific article |
Statements
Cartesian closed initial completions (English)
0 references
1980
0 references
initial and final lifts
0 references
cartesian closed category
0 references
topological category
0 references
cartesian closed topological extension
0 references
CCT hull
0 references