線形圈
linear category。algebroid
algebroid in nLab
Linear Category
高次の線形代数
線形代數の圈化
A linear category, or algebroid, is a category whose hom-sets are all vector spaces (or modules) and whose composition operation is bilinear. This concept is a horizontal categorification of the concept of (unital associative) algebra.
線形空閒或いは加群を Hom として、雙線形形式を射の合成とする圈
體$ Kに就いて、K-線形空閒の成す可換 monoidal 圈で豐饒化した豐饒圈
可換環$ Kに就いて、K-加群の成す可換 monoidal 圈で豐饒化した豐饒圈