01whole.pdf (553.76 kB)

# Restriction categories and their free cocompletion

thesis
posted on 28.03.2022, 12:48 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

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

## Notes

Theoretical thesis. Bibliography: page [51]

## Awarding Institution

Macquarie University

Thesis MRes

## Degree

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

## Department, Centre or School

Department of Mathematics

2015

Richard Garner

English

## Extent

1 online resource (x, 50 pages)

## Former Identifiers

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

## Exports

figshare. credit for all your research.