Macquarie University
Browse
01whole.pdf (1.16 MB)

Topics in the theory of enriched accessible categories

Download (1.16 MB)
thesis
posted on 2024-07-03, 02:44 authored by Giacomo Tendas

The aim of this thesis is to further develop the theory of accessible categories in the enriched context. We study and compare the two notions of accessible and conically accessible V-categories, both arising as free cocompletions of small V-categories: the former under flat-weighted colimits and the latter under filtered colimits. These two notions are not the same in general, however we show that they coincide for many significant bases of enrichment such as Cat and SSet, and differ just by Cauchy completeness for many algebraic examples including Ab, R-Mod and GAb. We then provide new characterization theorems for these by considering some notions of virtual orthogonality and virtual reflectivity which generalize the usual reflectivity and orthogonality conditions for locally presentable categories. The word virtual refers to the fact that the reflectivity and orthogonality conditions are given in the free completion of the V-category involved under small limits, instead of the V-category itself. We then prove that the 2-category of accessible V-categories, accessible V-functors, and V-natural transformations has all flexible limits. In the final chapters we study, characterize, and provide duality theorems in the setting of accessible V-categories with limits of a specified class Ψ; in this context, instead of the free completion under small limits, we consider “free completions” under a specific type of colimits C for which, in particular, C-colimits commute in V with Ψ-limits. This allows us to capture the theories of weakly locally presentable, locally multipresentable, locally polypresentable, and accessible categories as instances of the same general framework. 

History

Table of Contents

1. Background notions -- 2. Virtual concepts in the theory of accessible categories -- 3. Flat vs. filtered colimits -- 4. On continuity of accessible functors -- 5. Accessible categories with limits of some class -- 6. Dualities for accessible categories with limits -- A. Additional results -- Bibliography

Awarding Institution

Macquarie University

Degree Type

Thesis PhD

Degree

Doctor of Philosophy

Department, Centre or School

School of Mathematical and Physical Sciences

Year of Award

2022

Principal Supervisor

Steve Lack

Rights

Copyright: The Author Copyright disclaimer: https://www.mq.edu.au/copyright-disclaimer

Language

English

Extent

175 pages

Usage metrics

    Macquarie University Theses

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC