モナド (圏論){\displaystyle \mathrm {End} _{C}} の射の合成を表す）を満たすものと書ける。すなわち、これは E n d C {\displaystyle \mathrm {End} _{C}} のモノイド (Monoid (category theory)) である。 完備束 L 上の写像
表現論表現論（ひょうげんろん、英: representation theory）とは、ベクトル空間の線型変換として代数構造を表現することで代数構造上の加群を研究する数学の一分野である。本質的には、表現は抽象的な代数的構造を、その元と演算を行列と行列の和や行列の積で記述することで、より具体的にする。この記述
米田の補題(2010). Category Theory. Oxford Logic Guides. Oxford University Press. ISBN 9780199237180 Bucur, I.; Deleanu, A. (1968). Introduction to the theory of categories
自然変換(2005) [1982]. Basic Concepts of Enriched Category Theory. Reprints in Theory and Applications of Categories. Theory and Applications of Categories. http://www
積 (圏論)^ Mac Lane 1988, p. 37. ^ a b Michael Barr, Charles Wells (1999). Category Theory - Lecture Notes for ESSLLI. p. 62. http://www.let.uu.nl/esslli/Courses/barr/barrwells