biadjunctions
名词 n.
英文释义
名词 n.
-
plural of biadjunction
— As a direct consequence of our strict biadjoint triangle theorem, we give the construction (due to Lack) of the left 2-adjoint to the inclusion of the strict algebras into the pseudoalgebras. In the last section, we give two brief applications on lifting biadjunctions and pseudo-Kan extensions..
0 次浏览
数据来源: Wiktionary