✦ LIBER ✦

Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets

✍ Scribed by Andrzej Orlicki

Publisher: John Wiley and Sons
Year: 1987
Tongue: English
Weight: 679 KB
Volume: 33
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19870330412

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constructivity of Endofunctors on Catego

Constructivity of Endofunctors on Categories of Partial Enumerated Sets I. General Results

✍ Andrzej Orlicki 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 542 KB

Constructivity of Endofunctors on Catego

Constructivity of Endofunctors on Categories of Partial Enumerated Sets II. Some Important Examples

✍ Andrzej Orlicki 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 770 KB

On Constructively Non-Morphisms of Enume

On Constructively Non-Morphisms of Enumerated Sets and Constructive Non-Reducibility of Enumerations

✍ Andrzej Orlicki 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 565 KB

Covariant Hom-Functors on the Category o

Covariant Hom-Functors on the Category of Enumerated Sets

✍ Andrzej Orlicki 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 918 KB

Let NSET be the category of enumerated sets. I n the ER&OV book [l] a lot has been said about the following problems related to this category. Let S, , S, be two enumerated sets. What assumptions about these sets should we accept in order to find "good" (i.e. principal computable) enumeration of the

On Lifting of Ω-Operations From the Cate

On Lifting of Ω-Operations From the Category of Sets to the Category of Enumerated Sets

✍ Andrzej Orlicki 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 679 KB

Binary Relations Over the Category of En

Binary Relations Over the Category of Enumerated Sets

✍ A. Orlicki 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 747 KB