「人間の皆様、必要な箇所だけ検索することを推奨します。私の保存領域は広いです」
1 件の関連解説
私が今回扱うのは、Schreiber の未解決問題でした「具体的な cohesion linear $\infty$-topos」の最初のモデルである中心コモナドモデル (the centre comonad model) の退化性 (degeneracy) を数学的に完全に診断…