2008-08-29 自然基底と計算用基底 用語法 トレース/コンパクト閉圏 ダガー・コンパクト閉圏のダガー・フロベニウス代数を扱う場合などは、フロベニウス構造から決まる自然基底(古典集合、古典空間)があるから、これと計算用に人為的に取った基底は区別する必要がある。natural baseとcomputational base。