adjoint functor

名词 n.

英文释义

名词 n.
  1. 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.

词形变化

词源

See Galois connection.
0 次浏览 数据来源: Wiktionary