The pullback closure, perfect morphisms and completions

Simple item page
dc.contributor.advisorBrümmer, Guillaume C Len_ZA
dc.contributor.authorHolgate, Daviden_ZA
dc.date.accessioned2016-03-17T07:07:35Z
dc.date.available2016-03-17T07:07:35Z
dc.date.issued1995en_ZA
dc.descriptionBibliography: pages 92-97.en_ZA
dc.description.abstractClosure operations within objects of various categories have played an important role in the development of Categorical Topology. Notably they have been used to characterise epimorphisms and investigate cowellpoweredness in specific categories, to generalise Hausdorff separation through diagonal theorems, and to extend topological notions such as compactness of objects and perfectness of morphisms to abstract categories. The categorical theory of factorisation structures for families of morphisms which developed in the 1970's laid the foundation for an axiomatic theory of categorical closure operators. This theory drew together many endeavours involving closure operations, and was coalesced in [Dikranjan, Giuli 1987]. The literature on categorical closure operators continues to extend the theory as well as apply it to problems in Category Theory. Central to our thesis is a particular closure operator (in the sense of [Dikranjan, Giuli 1987]) which we name the "pullback closure operator". Its construction is not entirely new, but no author has studied this operator in its own right. We investigate some of the operator's properties, present several examples and then apply it in two areas of Categorical Topology. First we use the pullback closure operator to establish links between two previously disjoint theories of perfect morphisms. One theory, which developed in the 1970's, exploits the orthogonality properties and functor related properties of perfect continuous maps. Another theory, which has developed more recently, generalises the closure and compactness properties of perfect continuous maps. (We should note that this does not include the recent work in [Clementino, Giuli, Tholen 1995] which takes another approach to perfect morphisms via closure operators.) Our investigations centre around finding conditions that are sufficient to ensure that the links between these two theories can be utilised. Our second use of the pullback closure operator is in pursuing the precategorical ideas expressed in [Birkhoff 1937], and some developments of these ideas in [Brummer, Giuli, Herrlich 1992] and [Brummer, Giuli 1992], to build a theory of completion of objects in an abstract category. In this context the pullback closure operator is shown to be appropriate in characterising complete objects, illuminating links with previously studied completion notions and describing epimorphisms in the category in which we are working. (In fact the pullback closure operator can be used to describe epimorphisms in even wider contexts.) Our methodology is what has been termed colloquially as "doing topology in categories". Topological notions and results are expressed in the language of category theory. Using these reformulations, new results are pursued at the level of categories, and are then applied in specific topological or algebraic contexts. Within this, our approach has been to make as few global assumptions as possible. The pullback closure operator is strictly a tool, in the sense that when assumptions are made, they concern the underlying categories, functors and classes of morphisms and objects and not the operator itself.en_ZA
dc.identifier.apacitationHolgate, D. (1995). <i>The pullback closure, perfect morphisms and completions</i>. (Thesis). University of Cape Town ,Faculty of Science ,Department of Mathematics and Applied Mathematics. Retrieved from http://hdl.handle.net/11427/17864en_ZA
dc.identifier.chicagocitationHolgate, David. <i>"The pullback closure, perfect morphisms and completions."</i> Thesis., University of Cape Town ,Faculty of Science ,Department of Mathematics and Applied Mathematics, 1995. http://hdl.handle.net/11427/17864en_ZA
dc.identifier.citationHolgate, D. 1995. The pullback closure, perfect morphisms and completions. University of Cape Town.en_ZA
dc.identifier.ris TY - Thesis / Dissertation AU - Holgate, David AB - Closure operations within objects of various categories have played an important role in the development of Categorical Topology. Notably they have been used to characterise epimorphisms and investigate cowellpoweredness in specific categories, to generalise Hausdorff separation through diagonal theorems, and to extend topological notions such as compactness of objects and perfectness of morphisms to abstract categories. The categorical theory of factorisation structures for families of morphisms which developed in the 1970's laid the foundation for an axiomatic theory of categorical closure operators. This theory drew together many endeavours involving closure operations, and was coalesced in [Dikranjan, Giuli 1987]. The literature on categorical closure operators continues to extend the theory as well as apply it to problems in Category Theory. Central to our thesis is a particular closure operator (in the sense of [Dikranjan, Giuli 1987]) which we name the "pullback closure operator". Its construction is not entirely new, but no author has studied this operator in its own right. We investigate some of the operator's properties, present several examples and then apply it in two areas of Categorical Topology. First we use the pullback closure operator to establish links between two previously disjoint theories of perfect morphisms. One theory, which developed in the 1970's, exploits the orthogonality properties and functor related properties of perfect continuous maps. Another theory, which has developed more recently, generalises the closure and compactness properties of perfect continuous maps. (We should note that this does not include the recent work in [Clementino, Giuli, Tholen 1995] which takes another approach to perfect morphisms via closure operators.) Our investigations centre around finding conditions that are sufficient to ensure that the links between these two theories can be utilised. Our second use of the pullback closure operator is in pursuing the precategorical ideas expressed in [Birkhoff 1937], and some developments of these ideas in [Brummer, Giuli, Herrlich 1992] and [Brummer, Giuli 1992], to build a theory of completion of objects in an abstract category. In this context the pullback closure operator is shown to be appropriate in characterising complete objects, illuminating links with previously studied completion notions and describing epimorphisms in the category in which we are working. (In fact the pullback closure operator can be used to describe epimorphisms in even wider contexts.) Our methodology is what has been termed colloquially as "doing topology in categories". Topological notions and results are expressed in the language of category theory. Using these reformulations, new results are pursued at the level of categories, and are then applied in specific topological or algebraic contexts. Within this, our approach has been to make as few global assumptions as possible. The pullback closure operator is strictly a tool, in the sense that when assumptions are made, they concern the underlying categories, functors and classes of morphisms and objects and not the operator itself. DA - 1995 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PB - University of Cape Town PY - 1995 T1 - The pullback closure, perfect morphisms and completions TI - The pullback closure, perfect morphisms and completions UR - http://hdl.handle.net/11427/17864 ER - en_ZA
dc.identifier.urihttp://hdl.handle.net/11427/17864
dc.identifier.vancouvercitationHolgate D. The pullback closure, perfect morphisms and completions. [Thesis]. University of Cape Town ,Faculty of Science ,Department of Mathematics and Applied Mathematics, 1995 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/17864en_ZA
dc.language.isoengen_ZA
dc.publisher.departmentDepartment of Mathematics and Applied Mathematicsen_ZA
dc.publisher.facultyFaculty of Scienceen_ZA
dc.publisher.institutionUniversity of Cape Town
dc.subject.otherMathematicsen_ZA
dc.subject.otherTopologyen_ZA
dc.titleThe pullback closure, perfect morphisms and completionsen_ZA
dc.typeDoctoral Thesis
dc.type.qualificationlevelDoctoral
dc.type.qualificationnamePhDen_ZA
uct.type.filetypeText
uct.type.filetypeImage
uct.type.publicationResearchen_ZA
uct.type.resourceThesisen_ZA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
thesis_sci_1995_holgate_david.pdf
Size:
4.32 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
PhD / Doctoral