データ型の線形代数的に考えてる時は集合論がベースにあるんじゃないですかね