在范畴论中,函子若满足,则称之为一对伴随函子,其中称为的右伴随函子,而是的左伴随函子。伴随函子在范畴论中是个极基本而有用的概念。
In mathematics, specifically category theory, adjunction is a possible relationship between two functors.
Adjunction is ubiquitous in mathematics, as it specifies intuitive notions of optimization and efficiency.
In the most concise symmetric definition, an adjunction between categories C and D is a pair of functors,
英汉双解词典包含3607232条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。