If $T:V\to W$ is an isomorphism and $A=[T]_{C\leftarrow B}$, then $[T^{-1}]_{B\leftarrow C}=A^{-1}$. Composing the maps gives identity matrices in the relevant coordinates. The input/output bases reverse along with the map.
Parents
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.