これはある圏の対象 "x" からはじめて、"x" への作用を "x" の自己準同型全体の成すモノイドへのモノイド準同型として定めたものである。