adjoint functor
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
See Galois connection.
Noun[edit]
adjoint functor (plural adjoint functors)
- (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.