text: Пусть в предыдущем определении A = C {\displaystyle {\mathcal {A}}={\mathcal {C}}} , S {\displaystyle S} — тождественный функтор и B = 1 {\displaystyle {\mathcal {B}}={\textbf {1}}} (категория с одним объектом ∗ {\displaystyle *} и одним морфизмом).