2009-02-28 0次元も入れてみる 小咄 説明 具体例 1次元ベクトル空間の圏に、零空間を入れても圏になる。0と1に掛け算を入れた代数系の圏化/線型化かな?零空間は1個しかないと思ってもいいし、無限にあると思ってもいい。射は同型か零写像しかない。