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

e x t b f {S e t}_{F}

of

F

-coalgebras is complete. The category

e x t b f {S e t}_{F}

may be embedded in the category

m a t h b f {P f n}_{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

e x t b f {P f n}_{F}

to obtain examples of recursion categories of coalgebras.

This page was built for publication: Recursion categories of coalgebras