Wikipediaに ニコラース・ホーヴァート・ド・ブラウン という項目があるので、「ド・ブラウン」にする。$`\newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1} } %`$Automathの論文 "Telescopic mappings in typed lambda calculus" by N.…

まとめは「一貫性のまとめ」にある。「一貫性公理」は曖昧でヤバいから使用禁止とする。次を使う。 一貫性の基本射〈elementary morphism〉 基本射が同型なら基本同型射〈elementary isomorphism〉 一貫性条件： 基本射の組み合わせに対する等式の組 一貫性…