このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。 Follow @m_hiyama
ご連絡は上記 X アカウントに DM にてお願いします。
ヴォエヴォドスキー〈Vladimir Voevodsky〉は、射の結合〈合成 | composition〉を図式順記法で書いています。つまり、「左の射の次に右の射」という順序。で、なんと、図式順結合の記号には白丸('$`\circ`$')を使っているんです。例えば、次の論文(たまた…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。