おー、なんかやっと面白くなった。2-ベクトル空間ってバエズの定義をみても分からなかった。バエズによれば、ベクトル空間の圏のなかの圏対象（内部圏）が2-ベクトル空間ってことだが、これだけだと何がうれしいかわかんない。 Title: Categorical Represent…