Let \(\cal K\) be a bicategory, and \(B: \cal K\) be an object equipped with an endomorphism \(T:B \to B\). Then a left module [0] of \(T\) on a morphism \(f:A \to B\) is a 2-cell \(\alpha :Tf \Rightarrow f\) (called the action):
Let \(\cal K\) be a bicategory, and \(B: \cal K\) be an object equipped with an endomorphism \(T:B \to B\). Then a left module [0] of \(T\) on a morphism \(f:A \to B\) is a 2-cell \(\alpha :Tf \Rightarrow f\) (called the action):