No label defined (Q3137163)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
4 November 1993
0 references
colimits
0 references
complete Heyting algebras
0 references
cartesian closed categories
0 references
adjoint functor theorem
0 references
weak colimit
0 references
complete category
0 references
solution set
0 references
