Macquarie University
01whole.pdf (794.85 kB)
Download file

Internal categories

Download (794.85 kB)
posted on 2022-03-28, 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.


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.


Theoretical thesis. Bibliography: pages 61-62

Awarding Institution

Macquarie University

Degree Type

Thesis MRes


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

Department, Centre or School

Department of Mathematics

Year of Award


Principal Supervisor

Steve Lack


Copyright Adrian Toshar Miranda 2018 Copyright disclaimer:




1 online resource (5, 62 pages) illustrations

Former Identifiers


Usage metrics

    Macquarie University Theses