Cartesian closedness in categories of partial algebras
by
Josef Slapal
Technical University of Brno

It is well known that the category of all partial algebras of a given (non-empty) type with the usual homomorphisms as morphisms has many pleasant categorical properties but fails to be cartesian closed. We present eight full subcategories of this category all of which are cartesian closed. Moreover, these categories are initially structured and we describe the corresponding function spaces. We also demonstrate on examples that these categories are quite natural.

Date received: November 9, 2000

Copyright © 2000 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cafo-18.