Publication
Title
Exponential objects in coreflective or quotient reflective subconstructs: A comparison
Author
Abstract
We prove that in the construct PRAP of pre-approach spaces the class of exponential objects completely determines the exponential objects in certain subconstructs. We show that Exp B subset of Exp PRAP for every coreflective subconstruct B and from this inclusion we deduce the equality Exp B = B boolean AND Exp PRAP for every subconstruct B that is coreflective and finitely productive. We prove that the same equality holds for non-trivial quotient reflective subconstructs. These results induce well known answers to similar questions on the construct of pretopological spaces and are compared to the topological situation.
Language
English
Source (journal)
Applied categorical structures. - Dordrecht, 1993, currens
Source (book)
BB Fest 96 Conference, JUL , 1996, UNIV CAPE TOWN, CAPE TOWN, SOUTH AFRICA
Publication
Dordrecht : Kluwer academic publ, 2000
ISSN
0927-2852
Volume/pages
8:1-2, p. 247-256
ISI
000089053400014
Full text (Publisher's DOI)
UAntwerpen
Publication type
Subject
External links
Web of Science
Record
Identification
Creation 29.02.2012
Last edited 10.08.2017