Abstract
Original language | Undefined |
---|---|
Pages (from-to) | - |
Number of pages | 33 |
Journal | Memoranda informatica |
Issue number | 94-31 |
Publication status | Published - Jun 1994 |
Keywords
- METIS-121741
- EWI-8199
- Imported from EWI/DB PMS [db-utwente:tech:0000003540]
- IR-66624
Cite this
}
Adjunctions. / Fokkinga, M.M.; Meertens, Lambert.
In: Memoranda informatica, No. 94-31, 06.1994, p. -.Research output: Contribution to journal › Article › Professional
TY - JOUR
T1 - Adjunctions
AU - Fokkinga, M.M.
AU - Meertens, Lambert
PY - 1994/6
Y1 - 1994/6
N2 - We present the category-theoretic notion of adjunction in a way that makes it easy to formally calculate with it; an acquaintance with its algebraic properties may greatly help in understanding the notion. It is illustrated by means of a lot of theorems and proofs. We also attempt to provide some intuitive understanding of adjunctions by various discussions. Our intended readership is familiar with the notion of category, functor, and naturality, and either about to learn about adjunctions or interested in a calculational approach to category theory.
AB - We present the category-theoretic notion of adjunction in a way that makes it easy to formally calculate with it; an acquaintance with its algebraic properties may greatly help in understanding the notion. It is illustrated by means of a lot of theorems and proofs. We also attempt to provide some intuitive understanding of adjunctions by various discussions. Our intended readership is familiar with the notion of category, functor, and naturality, and either about to learn about adjunctions or interested in a calculational approach to category theory.
KW - METIS-121741
KW - EWI-8199
KW - Imported from EWI/DB PMS [db-utwente:tech:0000003540]
KW - IR-66624
M3 - Article
SP - -
JO - Memoranda informatica
JF - Memoranda informatica
SN - 0924-3755
IS - 94-31
ER -