adjoint functor

From Wiktionary, the free dictionary
Archived revision by TheDaveBot (talk | contribs) as of 03:12, 25 May 2017.
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

English

[edit]

Etymology

[edit]

See Galois connection.

Noun

[edit]

adjoint functor (plural adjoint functors)

  1. (category theory) One of a pair of functors such that the domain and codomain of one of them are identical to the codomain and domain of the other one, respectively, and such that there is a pair of natural transformations which turns the pair of functors into an adjunction.