For $T:U\to V$ and $S:V\to W$, use compatible bases $B,C,D$. Then $[S\circ T]_{D\leftarrow B}=[S]_{D\leftarrow C}[T]_{C\leftarrow B}$. The shared middle basis must match. The rightmost factor acts first.
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.