dc.contributor.author | Wendt, Michael Albert | |
dc.date.accessioned | 2020-11-25T14:12:57Z | |
dc.date.available | 1985 | |
dc.date.issued | 1985 | |
dc.identifier.uri | http://hdl.handle.net/10222/80035 | |
dc.description.abstract | A total category is defined as a locally small category whose Yoneda embedding,
Y, has a left adj oint, L. Totality implies cocompleteness (and completeness) . The
converse is not true. However, many familiar cocomplete categories are total. In
fact , total categories enjoy good closure properties.
In the total setting, arguments are more conceptual than for merely cocomplete
categories; often expressed in terms of adjointness situations. For example, one may
specialize total categories by considering lex total categories, total categories whose
L is lex. Such categories are closely related to topoi.
Two interesting conj ectures are. introduced. Attempts to characterize set A 0"
(for small A) and set , via adj oints left of Yoneda, are made.
vi | en_US |
dc.title | An introduction to totally cocomplete categories | en_US |
dc.date.defence | 1985 | |
dc.contributor.department | Department of Mathematics, Statistics and Computing Science | en_US |
dc.contributor.degree | Master of Science | en_US |
dc.contributor.external-examiner | N/A. | en_US |
dc.contributor.graduate-coordinator | N/A | en_US |
dc.contributor.thesis-reader | N/A. | en_US |
dc.contributor.thesis-supervisor | Wood, R.J. | en_US |