Samuel Mimram

カテゴリー理論におけるコヒーレンスと書き換えシステムの関係を探る。

delopingsがホモトピー型理論の中でグループ表現をどう簡単にするかを探ろう。