正しい synthetic \((\infty, 1)\) - category theory
昨日の講演後や懇親会でUemuraさんと話していたことのまとめです。多少, 記憶違いのことがあるかもしれません。 まず, Directed Univalent axiom について。Cishinski がやっている Directed Univalent は昨日の講演における Univalent とは少し違う方向のこ…
昨日の講演後や懇親会でUemuraさんと話していたことのまとめです。多少, 記憶違いのことがあるかもしれません。 まず, Directed Univalent axiom について。Cishinski がやっている Directed Univalent は昨日の講演における Univalent とは少し違う方向のこ…