Towards projective set theory

van Zyl, Phillippus Johannes III (2017-12)

Thesis (MSc)--Stellenbosch University, 2017

Thesis

ENGLISH ABSTRACT : In this thesis an axiomatic framework is presented which extends the projective group theory introduced by Z Janelidze to also hold for sets. The isomorphism theorems are reformulated so that they hold for sets. Interestingly, the theorems do not hold for a number of null cases, which in this sense makes it a point-free approach to set theory—that is, singletons cannot be selected as abstract images of morphisms, but they can be studied by factorisation properties. In particular, this aspect is explained in the last chapter, where a comparison is drawn between the isomorphism theorems here and those for regular categories presented in Tholen’s doctoral thesis. The proofs are done by means of chasing elements of ΣX, here called A-subobjects, forwards and backwards, where ΣX is the fibre at an object X in C for which the functor G : C −→ Gal is the central object of study in the axiomatic setting; moreover, the axioms are functorially self-dual for this functor. A minor result on bounded morphisms is included: when a bounded morphism is the left adjoint of a Galois connection with meets and joins it is equivalent to the Frobenius property for Galois connections.

AFRIKAANSE OPSOMMING : In hierdie tesis word ’n aksiomatiese raamwerk ontwikkel en uiteengesit om die projektiewe groepsleer van Z Janelidze uit te brei om ook versamelings in the sluit. Die isomorfismestellings word hergeformuleer sodat dit ook vir versamelings geldig is. Hierdie proses het die interessante gevolg dat die stellings vir ’n klas van nul gevalle nie geldig is nie en in daardie sin kan mens hiérdie benadering sien as ’n puntvrye versamelingsleer. ’n Enkele punt kan nie vasgevang word as die abstrakte beeld van ’n morfisme nie, maar kan wel bestudeer word op grond van faktoriseringseienskappe. In besonder word hierdie aspek verduidelik in die laaste hoofstuk, waar ’n vergelyking getref word met die isomorfismestellings vir reëlmatige kategorieë voorgesit in Tholen se doktorale tesis. Die bewyse van die stellings word by wyse van elemente van ΣX, hier genoem A-subvoorwerpe, vorentoe en agtertoe aan te volg, waar ΣX die beeld van ’n voorwerp X in ’n kategorie C is vir die funktor G : C −→ Gal, ’n sentrale struktuur waarvoor die aksiomas funktoriaal self-duaal is. ’n Kort resultaat vir begrensde morfismes word ingesluit wat sê dat wanneer ’n begrensde morfisme ’n linker adjunk van ’n Galois konneksie met infima en suprema is, is dit ekwivalent aan die Frobenius eienskap vir Galois konneksies.

Please refer to this item in SUNScholar by using the following persistent URL: http://hdl.handle.net/10019.1/102962
This item appears in the following collections: