Recursion categories of coalgebras
| dc.creator | Lengyel, Florian | |
| dc.date | 2001-05-31 | |
| dc.date.accessioned | 2026-07-07T04:41:55Z | |
| dc.date.available | 2026-07-07T04:41:55Z | |
| dc.description | 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. | |
| dc.description | 27 pages. Uses AMSLaTeX and xy-pic version 3.7 | |
| dc.identifier | https://arxiv.org/abs/math/0105256 | |
| dc.identifier | http://arxiv.org/abs/math/0105256 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/61563 | |
| dc.subject | Category Theory | |
| dc.subject | Logic | |
| dc.subject | 03D75 (Primary) 03G30, 18A15 (Secondary) | |
| dc.title | Recursion categories of coalgebras | |
| dc.type | text |