Computable limits and colimits in catego
β
Andrzej Orlicki
π
Article
π
1993
π
John Wiley and Sons
π
English
β 931 KB
## Abstract Computable limits and colimits are βrecursive counterpartsβ of the suitable classical concepts from category theory. We present mainly some interesting problems related to computable products. Moreover, some βcomputable counterpartsβ of wellβknown classical facts from category theory ar