Is it true that \$$\cup^\ast = \cap\$$? It looks like it should but the \$$k\$$ in \$$\cap_V \colon k \to V \otimes V^\ast\$$ is throwing me off.