01whole.pdf (794.85 kB)
Download file

Internal categories

Download (794.85 kB)
thesis
posted on 28.03.2022, 14:28 authored by Adrian Toshar Miranda
In our first chapter, we will define categories, functors, and natural transformations internally to any category with pullbacks ε, and we will prove in detail that they form a Cat-enriched category, or 2-category Cat (ε), with powers by 2 and any conical limits that ε also has. Along the way we will describe how certain familiar notions of category theory can be made sense of internally. In Chapter Two we will explore how some properties of ε are inherited by, or give rise to other properties in Cat (ε). In Chapter Three we will investigate the extension of the assignment ε -> Cat (ε) to various 2-functors, and in particular equip one of them with various monad-like structures. One of these was remarked upon in [6], but to our knowledge the other two have not appeared elsewhere in the literature. Chapter Four will be an intermezzo on the Grothendieck Construction in preparation for Chapter Five, where we will explore factorisations of internal functors, including in particular the comprehensive factorisation.

History

Table of Contents

1 Internal categories, functors and natural transformations -- 2 Constructions Cat (ε) inherits from ε -- 3 The 2-functors of the form Cat (-) -- 4 The Grothendieck Construction -- 5 Factorisation systems -- 6 Concluding remarks.

Notes

Theoretical thesis. Bibliography: pages 61-62

Awarding Institution

Macquarie University

Degree Type

Thesis MRes

Degree

MRes, Macquarie University, Faculty of Science and Engineering, Department ofMathematics

Department, Centre or School

Department of Mathematics

Year of Award

2018

Principal Supervisor

Steve Lack

Rights

Copyright Adrian Toshar Miranda 2018 Copyright disclaimer: http://mq.edu.au/library/copyright

Language

English

Extent

1 online resource (5, 62 pages) illustrations

Former Identifiers

mq:72108 http://hdl.handle.net/1959.14/1281465