categorification

Etymology
.

Noun

 * 1)  A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.
 * 2) * 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$$.
 * 1) * 2009, Volodymyr Mazorchuk, Lectures on $$\mathfrak{sl}_2(\C)$$-Modules, Imperial College Press, page 221,
 * Show that $$\Phi\oplus\Phi$$ is also a (naïve) homomorphism of naïve categorifications.
 * 1) * 2011, Robert Wisbauer, Categorical aspects of Hopf algebras, Matilde Marcolli, Deepak Parashar (editors), Quantum Groups and Noncommutative Spaces: Perspectives on Quantum Geometry, Springer Science+Business (Vieweg+Teubner), page 146,
 * Since Lawvere's categorification of general algebra, algebras and coalgebras are used as basic notions in universal algebra, logic, and theoretical computer science, for example (e.g. [AdPo], [Gu], [TuPl]).
 * Since Lawvere's categorification of general algebra, algebras and coalgebras are used as basic notions in universal algebra, logic, and theoretical computer science, for example (e.g. [AdPo], [Gu], [TuPl]).