論理AND、合接、論理積、連言、コンジャンクション 論理OR、離接、論理和、選言、ディスジャンクション 論理NOT、否定、{ニ | ネ}ゲーション 含意、条件{法}?、インプリケーション 多義語： 矛盾： 矛盾命題＝偽命題＝偽的命題〈falsy prop.〉、演繹システム…

記法バイアスと記法独立な把握： 順序随伴を例として - 檜山正幸のキマイラ飼育記では、 標準的テキスト記法の強烈なバイアスに支配されている、あるいは記法の獄舎に投獄されているからです。 自ら「記法の獄舎」に閉じこもりたい傾向（思考、指向、嗜好）…

図そのものより、図示の基礎を書く。デカルト閉圏Cを固定して、I := IdC、直積を∧、単位を1、始対象を0とする。Δ:C→C×C はコピー、Πi:C×C→C は射影、K:C→I は一点への潰し、S:C×C→C×Cはスワップ。 自然変換 自然変換の記号 プロファイル 名前 略称 ι I⇒I 恒…

形式(的)?体系 {形式(的)? | フォーマル}{体系 | システム} {形式(的)? | フォーマル}?{体系 | システム}

defintion and example - 檜山正幸のキマイラ飼育記 メモ編 同義語・多義語の例 - 檜山正幸のキマイラ飼育記 メモ編 指標とモデルと意味論 - 檜山正幸のキマイラ飼育記 メモ編 代数的定義形式とアンビエント構造 - 檜山正幸のキマイラ飼育記 メモ編 決める側…

coherence {axiom | equation | relation | identity | constraint | law} {一貫性 | 整合性}{公理 | 等式 | 関係 | 恒等式 | 制約 | 法則}

{definition (form)? | specification | signature | (type)? class | interface | concept} {example | model | (type)? instance | structure | implementation | class | algebra}

表記のゆれも考慮すると、用語表記は爆発する、という話。 https://ncatlab.org/nlab/show/Lawvere+theory 考えられる表記は、まず、 {代数的 | ローヴェル}{理論 | セオリー} 「ローヴェルの代数的セオリー」もある。「的」の有無もあるから、 {代数(的)? |…

ステイ／メリディスの次の論文、とても良い。 Title: Logic as a distributive law Author: Mike Stay, Lucius Gregory Meredith URL: https://arxiv.org/abs/1610.02247 僕がふだん考えていることだから、問題意識が一致して分かりやすい。本論じゃないとこ…