Full Text Available

Note: Clicking the button above will open the full text document at the original institutional repository in a new window.

On extensivity of morphisms in general categories

Thesis (MSc)--Stellenbosch University, 2023.

Saved in:
Bibliographic Details
Main Author: Theart, Emma
Other Authors: Hoefnagel, Michael
Format: Thesis
Language:en_ZA
Published: Stellenbosch : Stellenbosch University 2023
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1867613801543630848
access_status_str Open Access
author Theart, Emma
author2 Hoefnagel, Michael
author_browse Hoefnagel, Michael
Theart, Emma
author_facet Hoefnagel, Michael
Theart, Emma
author_sort Theart, Emma
collection Thesis
dc_rights_str_mv Stellenbosch University
description Thesis (MSc)--Stellenbosch University, 2023.
format Thesis
id oai:scholar.sun.ac.za:10019.1/127305
institution Stellenbosch University (South Africa)
language en_ZA
last_indexed 2026-06-10T12:41:54.752Z
license_str Other — see source repository
provenance_str_mv Harvested via OAI-PMH from SUNScholar — Stellenbosch University Repository
publishDate 2023
publishDateRange 2023
publishDateSort 2023
publisher Stellenbosch : Stellenbosch University
publisherStr Stellenbosch : Stellenbosch University
record_format dspace
source_str SUNScholar — Stellenbosch University Repository
spelling oai:scholar.sun.ac.za:10019.1/127305 On extensivity of morphisms in general categories Theart, Emma Hoefnagel, Michael Stellenbosch University. Faculty of Science. Dept. of Mathematical Sciences. Morphisms (Mathematics) Categories (Mathematics) Abelian categories UCTD Thesis (MSc)--Stellenbosch University, 2023. ENGLISH SUMMARY: The notion of an extensive category captures a fundamental property of the category of sets, namely, that coproducts are disjoint and universal. This property may be restricted in several ways, one of which is with respect to morphisms in a category. The resulting notion of “extensive morphism” is the central notion of this thesis. An object is then called “mono-extensive” if every monomorphism into it is extensive. We explore these notions in categories which are far from being extensive. The category Set of pointed sets, for instance, in not extensive (since it is pointed), but a morphism in Set is extensive if and only if it has trivial kernel. In the category of finitely generated abelian groups, we show that a group G is mono-extensive if and only if it is cyclic. This leads to an open question about the category of abelian groups: is an abelian group G mono-extensive if and only if it is locally cyclic? We establish various theoretical results, one of the main results being a characterisation of coextensive categories: a Barr-exact category with global support is coextensive if and only if its monomorphisms are coextensive. AFRIKAANSE OPSOMMING: Die begrip van ’n ekstensiewe kategorie beskryf ’n fundamentele eienskap van die kategorie van versamelings, naamlik dat dit disjunk en universeel is. Hierdie eienskap kan op verskeie maniere beperk word, waarvan een ten opsigte van morfismes in ’n kategorie is. Die gevolglike begrip van ‘n “ekstensiewe morfisme” is die sentrale idee van hierdie tesis. ’n Objek word dan “monoekstensief” genoem indien elke monomorfisme in die objek in ekstensief is. Ons ondersoek hierdie konsepte in kategoriee wat nie noodwendig ekstensief is nie. Die kategorie Set van gepunte versamelings, byvoorbeeld, is nie ekstensief nie (aangesien dit ’n nulobjek het), maar ’n morfisme in Set is ekstensief as en slegs as sy kern triviaal is. In die kategorie van eindig gegenereerde abelse groepe wys ons dat ’n groep G mono-ekstensief is as en slegs as dit siklies is. Dit lei tot ’n ope vraag met betrekking tot die kategorie van abelse groepe: is ’n abelse groep G mono-ekstensief as en slegs as dit lokaal siklies is? Ons bevestig verskeie teoretiese resultate, met een van die hoof resultate ’n karakterisering van ko-ekstensiewe kategoriee: ’n Barr-presiese kategorie met globale ondersteuning is ko-ekstensief as en slegs as al sy monomorfismes ko-ekstensief is. Masters 2023-03-06T17:27:45Z 2023-05-18T07:15:08Z 2023-03-06T17:27:45Z 2023-05-18T07:15:08Z 2023-03 Thesis http://hdl.handle.net/10019.1/127305 en_ZA Stellenbosch University v, 86 pages application/pdf Stellenbosch : Stellenbosch University
spellingShingle Morphisms (Mathematics)
Categories (Mathematics)
Abelian categories
UCTD
Theart, Emma
On extensivity of morphisms in general categories
title On extensivity of morphisms in general categories
title_full On extensivity of morphisms in general categories
title_fullStr On extensivity of morphisms in general categories
title_full_unstemmed On extensivity of morphisms in general categories
title_short On extensivity of morphisms in general categories
title_sort on extensivity of morphisms in general categories
topic Morphisms (Mathematics)
Categories (Mathematics)
Abelian categories
UCTD
url http://hdl.handle.net/10019.1/127305
work_keys_str_mv AT theartemma onextensivityofmorphismsingeneralcategories