代数 類体論って何だろう?
圏論の前に集合 選択公理、代数 線型代数
テンソル代数、、があるんだろう〜