Recursion categories of coalgebras.
Item
-
Title
-
Recursion categories of coalgebras.
-
Identifier
-
AAI3047238
-
identifier
-
3047238
-
Creator
-
Lengyel, Florian.
-
Contributor
-
Adviser: Alex Heller
-
Date
-
2002
-
Language
-
English
-
Publisher
-
City University of New York.
-
Subject
-
Mathematics
-
Abstract
-
Let F be a nontrivial endofunctor on the category of sets that preserves weak pullbacks and such that the category Set F of F-coalgebras has products. The category SetF may be embedded in the category PfnF of F-coalgebras and partial morphisms, which is an iteration category that is not dominical in general, and which need not be locally connected. If Pfn F is locally connected, then Heller's existence theorem for recursion categories may be applied to show that Pfn F contains many recursion categories. We extend Heller's existence theorem for recursion categories to non-locally connected iteration categories that admit an embedding into a locally connected iteration category by a functor preserving some of the structure of an iteration category.
-
Type
-
dissertation
-
Source
-
PQT Legacy CUNY.xlsx
-
degree
-
Ph.D.
