絵が多いので、こっち↓の方に書いた。xyjaxを使いたかっただけというわけではない http://formalgroup.tumblr.com/post/96778113120/simplicial-model-of-type-theory cubical modelのことを書こうと思ったけど、数学の世界では、simplicial setの方が、cubi…