Recursion categories of coalgebras

Details Recursion categories of coalgebras Recursion categories of coalgebras

2001-05-31

arxiv.org/abs/math/0105256v1

Mathematics

Category Theory

27 pages. Uses AMSLaTeX and xy-pic version 3.7

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Recursion categories of coalgebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Recursion categories of coalgebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Recursion categories of coalgebras will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-250266