- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Monad-like structures in 2-categories and soft adjunctions
Open Collections
UBC Theses and Dissertations
UBC Theses and Dissertations
Monad-like structures in 2-categories and soft adjunctions Stone, Peter
Abstract
One of the fundamental concepts of ordinary category theory is that of an adjunction. There are analogous notions in 2-category theory one of which is the "soft adjunction" of this thesis. In order to construct examples which exhibit the full generality of this phenomena two constructions for modifying soft adjunctions are described: an "attaching procedure" and a "lifting procedure". These two procedures are shown to be inverses of each other in an suitable sense. A special type of "commutative monad" structure on an object of a 2-category is described and it is shown that this structure can be modelled by the category of finite ordinals and all functions in the same way that the ordinary monad structure can be modelled by the category of finite ordinals and non-decreasing functions. By a standard argument for such a situation where there are 2-category objects with structure a certain "strict" adjunction" is obtained; that is, an adjunction which is essentially the same as an adjunction in ordinary category theory. Starting with a slightly extended version of this strict adjunction examples of soft adjunctions are obtained by means of the attaching and lifting procedures. The relationship between the the various soft adjunctions which arise is investigated.
Item Metadata
Title |
Monad-like structures in 2-categories and soft adjunctions
|
Creator | |
Publisher |
University of British Columbia
|
Date Issued |
1989
|
Description |
One of the fundamental concepts of ordinary category theory is that of an adjunction. There are analogous notions in 2-category theory one of which is the "soft adjunction" of this thesis.
In order to construct examples which exhibit the full generality of this phenomena two constructions for modifying soft adjunctions are described: an "attaching procedure" and a "lifting procedure". These two procedures are shown to be inverses of each other in an suitable sense.
A special type of "commutative monad" structure on an object of a 2-category is described and it is shown that this structure can be modelled by the category of finite ordinals and all functions in the same way that the ordinary monad structure can be modelled by the category of finite ordinals and non-decreasing functions. By a standard argument for such a situation where there are 2-category objects with structure a certain "strict" adjunction" is obtained; that is, an adjunction which is essentially the same as an adjunction in ordinary category theory.
Starting with a slightly extended version of this strict adjunction examples of soft adjunctions are obtained by means of the attaching and lifting procedures. The relationship between the the various soft adjunctions which arise is investigated.
|
Genre | |
Type | |
Language |
eng
|
Date Available |
2010-10-18
|
Provider |
Vancouver : University of British Columbia Library
|
Rights |
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.
|
DOI |
10.14288/1.0080429
|
URI | |
Degree | |
Program | |
Affiliation | |
Degree Grantor |
University of British Columbia
|
Campus | |
Scholarly Level |
Graduate
|
Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.