ホモトピー理論におけるデロホモトピー理論におけるデローピング群ループ解除で群の構造を簡素化する。計算機科学における論理ホモトピー型理論におけるデローピングの洞察delopingsがホモトピー型理論の中でグループ表現をどう簡単にするかを探ろう。2025-07-28T23:27:56+00:00 ― 1 分で読む