No label defined (Q4206923)
From MaRDI portal
scientific article; zbMATH DE number 4127475
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 4127475 |
Statements
1989
0 references
polynomial object
0 references
cartesian closed category
0 references
least fixpoints of endofunctors
0 references
bicartesian closed categories
0 references
realizability universe of Hyland
0 references
