categorification
名词 n.
英文释义
名词 n.
-
A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.
— 2008, E. Krenkel, Ramifications of the Geometric Langlands Program, Michael Cowling, Edward Frenkel, Masaki Kashiwara, Alain Valette, David A. Vogan, Jr., Nolan R. Wallach (editors), Representation Theory and Complex Analysis: Lectures Given at the C.I.M.E. Summer School, Springer, Lecture Notes in Mathematics 1931, page 83, In Section 3.4 we have already discussed the question of categorification of the algebra of functions on a homogeneous space like G(F)/K.
词形变化
词源
From category + -fication.
0 次浏览
数据来源: Wiktionary