Finite Products and Conjoining Structures in Monotopological Categories
by
I. W. Alderton
UNISA

Let A be a monotopological c-category. It is shown that there are correspondences between certain structures on the hom-sets in A and certain bicoreflective subcategories of A. An example is the following:

Let C be a bicoreflective subcategory of A. The following two conditions are equivalent:

1. C is the largest bicoreflective cartesian closed subcategory of A which is closed under finite products in A.
2. There is a largest structure on the hom-sets of A having the property (inter alia) that it is conjoining in A when restricted to the hom-sets in C.

Date received: June 24, 1996

Copyright © 1996 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 # caah-03.