Recursion categories of coalgebras
Abstract
We construct recursion categories from categories of coalgebras. Let $F$ be a nontrivial endofunctor on the category of sets that weakly preserves pullbacks and such that the category $\textbf{Set}_F$ of $F$-coalgebras is complete. The category $\textbf{Set}_F$ may be embedded in the category $\mathbf{Pfn}_F$ of $F$-coalgebras and partial morphisms, which is a $P$-category that is prodominical but not dominical in general. An existence theorem of A. Heller is applied to certain subcategories of $\textbf{Pfn}_F$ to obtain examples of recursion categories of coalgebras.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- May 2001
- DOI:
- 10.48550/arXiv.math/0105256
- arXiv:
- arXiv:math/0105256
- Bibcode:
- 2001math......5256L
- Keywords:
-
- Category Theory;
- Logic;
- 03D75 (Primary) 03G30;
- 18A15 (Secondary)
- E-Print:
- 27 pages. Uses AMSLaTeX and xy-pic version 3.7