A couple minor corrections on the lecture notes:
> How can we define
>
> \[ \Phi \otimes \Psi \colon X \otimes X' \nrightarrow Y \otimes Y' ?\]
should probably use `\mathcal` to denote the \\(\mathcal{V}\\)-categories.
> we define
>
> \[ (\mathcal{X} \times \mathcal{Y})((x,y), \, (x',y')) = \mathcal{X}(x,x') \otimes \mathcal{Y}(y,y') .\]
should probably use the \\(\otimes\\) symbol on the left to denote tensoring.