「圏上のチェーンの畳み込み積」において、圏Cに対して1次元のチェーン（鎖）を定義しました。圏の射を1次元単体（有向線分）とみなして、1次元単体の形式的線形結合を作ったものがチェーンでした。もっと高次元の単体（n-単体）を定義して、n次元チェーン（…