01whole.pdf (553.76 kB)
Download file

Restriction categories and their free cocompletion

Download (553.76 kB)
thesis
posted on 28.03.2022, 12:48 authored by Daniel Lin
The universal property of the Yoneda embedding which exhibits the presheaf category Ĉ as the free cocompletion of C is well-known to category theorists. On the other hand, restriction categories are less well-studied (having only been introduced since the early 1990's). In this thesis, we describe free cocompletion within the restriction setting by introducing the notion of restriction presheaf. We also motivate and give a difinition of co-complete M-category and cocompletion restriction category.

History

Table of Contents

1. Introduction -- 2. Restriction categories -- 3. Restriction presheaves -- 4. Free cocompletion -- 5. Conclusion.

Notes

Theoretical thesis. Bibliography: page [51]

Awarding Institution

Macquarie University

Degree Type

Thesis MRes

Degree

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

Department, Centre or School

Department of Mathematics

Year of Award

2015

Principal Supervisor

Richard Garner

Rights

Copyright Daniel Lin 2015. Copyright disclaimer: http://www.copyright.mq.edu.au

Language

English

Extent

1 online resource (x, 50 pages)

Former Identifiers

mq:44904 http://hdl.handle.net/1959.14/1073109