ホモトピー型理論におけるコホモトピー型理論におけるコリミットながりが見えてくるよ。コリミットを調べると、数学的構造の深いつ計算機科学における論理図形をつなぐ：コリミットの役割コリミットとホモトピー型理論のつながりをフレンドリーに探る。2025-05-05T06:42:36+00:00 ― 1 分で読む