Item – Theses Canada

​
OCLC number
1319165005
Link(s) to full text
LAC copy
Author
MacDonald, Thomas.
Title
Embedding theorems for closed categories.
Degree
M.A. -- Memorial University of Newfoundland, 1972
Publisher
[St. John's, Newfoundland] : Memorial University of Newfoundland, 1972
Description
1 online resource
Abstract
Let us consider the following symmetric monoidal closed categories: -- (i) SM, the category of sets under the action of a commutative monoid M; in short, a category of M-sets; -- (ii) SG, the category of G-sets, where G is an abelian group; -- (iii) MK, the category of moduloids over a commutative semiring K (a moduloid is basically a monoid acted on by a semiring); -- (iv) ModK,thecategory of modules over a commutative ring K; -- (v) VF,the category of vector spaces over a field F. -- Let C be an arbitrary closed category. We are concerned with the following question: -- What conditions have to be imposed on C to ensure that it can be embedded (in some canonical way) into one or more of the above categories? -- The basic category theory needed in this thesis is provided in chapters I and II. In chapter I we have provided the details of how, in a category with biproducts, the set hom(A,B) can be given the structure of a commutative monoid (under addition). Chapter II gives a summary of the standard definitions and results leading up to the concept of a symmetric monoidal closed category. -- Since the properties of categories (i) and (iii) are not so well known, these categories are discussed in some detail in chapters III and IV. It is shown that each of the categories is in fact a symmetric monoidal closed category. -- In chapter V we answer our original question by establishing five embedding theorems. -- Each of these theorems gives sufficient conditions for a closed category to be embeddable in one of the above categories. Fairly elementary examples are given to illustrate each of the theorems. -- In the appendix a detailed example is given to show that these embeddings are not, in general, full embeddings.
Other link(s)
research.library.mun.ca