hom internal hom Linz linearlization MultiVec multilinear map of vec. spaces tensrep tensor representation swtensrep swapped tensor representation 使う射、すべて 。 別名・別記法 sw swap ev evaluation coev coevaluation icomp internal compos…

次の図のSのようは関手を、Fに沿ったエキストラセクション〈extra section along F〉と呼ぶことにする。エキストラセクションの全体を とする。引き戻しファイバー付き圏との関係はファイバーバンドルの場合はに対して、エキストラセクションの空間は色々な…