Computable limits and colimits in categories of partial enumerated sets (Q4304129)
From MaRDI portal
scientific article; zbMATH DE number 635990
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computable limits and colimits in categories of partial enumerated sets |
scientific article; zbMATH DE number 635990 |
Statements
Computable limits and colimits in categories of partial enumerated sets (English)
0 references
8 September 1994
0 references
computable limits
0 references
categories of partial enumerated sets
0 references
constructive functor
0 references
computable colimit
0 references
computable products
0 references
