Adjunctions

M.M. Fokkinga, Lambert Meertens

Research output: Contribution to journalArticleProfessional

116 Downloads (Pure)

Abstract

We present the category-theoretic notion of adjunction in a way that makes it easy to formally <i>calculate</i> 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 <i>calculational</i> approach to category theory.
Original languageUndefined
Pages (from-to)-
Number of pages33
JournalMemoranda informatica
Issue number94-31
Publication statusPublished - Jun 1994

Keywords

  • METIS-121741
  • EWI-8199
  • Imported from EWI/DB PMS [db-utwente:tech:0000003540]
  • IR-66624

Cite this

Fokkinga, M. M., & Meertens, L. (1994). Adjunctions. Memoranda informatica, (94-31), -.
Fokkinga, M.M. ; Meertens, Lambert. / Adjunctions. In: Memoranda informatica. 1994 ; No. 94-31. pp. -.
@article{bfd3cc779f944604b955021831f3c010,
title = "Adjunctions",
abstract = "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.",
keywords = "METIS-121741, EWI-8199, Imported from EWI/DB PMS [db-utwente:tech:0000003540], IR-66624",
author = "M.M. Fokkinga and Lambert Meertens",
year = "1994",
month = "6",
language = "Undefined",
pages = "--",
journal = "Memoranda informatica",
issn = "0924-3755",
publisher = "University of Twente",
number = "94-31",

}

Fokkinga, MM & Meertens, L 1994, 'Adjunctions' Memoranda informatica, no. 94-31, pp. -.

Adjunctions. / Fokkinga, M.M.; Meertens, Lambert.

In: Memoranda informatica, No. 94-31, 06.1994, p. -.

Research output: Contribution to journalArticleProfessional

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 -

Fokkinga MM, Meertens L. Adjunctions. Memoranda informatica. 1994 Jun;(94-31):-.