Typing Tensor Calculus in 2-Categories (I)

Open in new window