Towards projective set theory
Date
2017-12
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Stellenbosch : Stellenbosch University
Abstract
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.
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.
Description
Thesis (MSc)--Stellenbosch University, 2017
Keywords
Axioms, Category of sets, Projective set theory, Projective group theory, Galois connection, Zero morphism, Homomorphism theorems, UCTD