The quasitopos hull of the construct of closure spaces
Author(s) -
Veerle Claes,
Gert Sonck
Publication year - 2003
Publication title -
applied general topology
Language(s) - English
Resource type - Journals
eISSN - 1989-4147
pISSN - 1576-9402
DOI - 10.4995/agt.2003.2006
Subject(s) - mathematics , closure (psychology) , hull , cartesian closed category , homotopy , construct (python library) , topological space , cls upper limits , topology (electrical circuits) , pure mathematics , combinatorics , computer science , medicine , marine engineering , economics , optometry , engineering , market economy , programming language
In the list of convenience properties for topological constructs the property of being a quasitopos is one of the most interesting ones for investigations in function spaces, differential calculus, functional analysis, homotopy theory, etc. The topological construct Cls of closure spaces and continuous maps is not a quasitopos. In this article we give an explicit description of the quasitopos topological hull of Cls using a method of F. Schwarz: we first describe the extensional topological hull of Cls and of this hull we construct the cartesian closed topological hull
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom