adjoint functor
Meanings
noun
- 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.
Word forms
Etymology
See Galois connection.
Previous
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.