Retracts of numerations (Q1823236)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Retracts of numerations |
scientific article |
Statements
Retracts of numerations (English)
0 references
1989
0 references
There are some important properties of numerations such as precompleteness, acceptability, which can be passed to their retracts considered. A necessary and sufficient condition for a category of retracts of a numeration and morphisms to be normally effective Cartesian closed is considered. Also some examples of such numeration-theoretic retract calculus are studied.
0 references
precompleteness
0 references
acceptability
0 references
category of retracts of a numeration
0 references
