Computable limits and colimits in categories of partial enumerated sets

DOI10.1002/MALQ.19930390121MaRDI QIDQ4304129zbMATH OpenOpenAlexFDO

Authors A. Orlicki

Publication date 8 September 1994

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19930390121

zbMATH Keywords

categories of partial enumerated setscomputable colimitcomputable limitscomputable productsconstructive functor

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Recommendations

• THE MEANING OF BASIC CATEGORY THEORETICAL NOTIONS IN SOME CATEGORIES OF PARTIAL ALGEBRAS. I
• Constructivity of Endofunctors on Categories of Partial Enumerated Sets I. General Results
• scientific article; zbMATH DE number 3999258
• scientific article; zbMATH DE number 4002343

Cites work

• Constructivity of Endofunctors on Categories of Partial Enumerated Sets I. General Results
• Constructivity of Endofunctors on Categories of Partial Enumerated Sets II. Some Important Examples

Cited in

(2)

• Constructivity of Endofunctors on Categories of Partial Enumerated Sets I. General Results
• Calculating Colimits Compositionally

This page was built for publication: Computable limits and colimits in categories of partial enumerated sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4304129)