m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 多義語 文言正規表現 図そのものより、図示の基礎を書く。デカルト閉圏Cを固定して、I := IdC、直積を∧、単位を1、始対象を0とする。Δ:C→C×C はコピー、Πi:C×C→C は射影、K:C→I は一点への潰し、S:C×C→C×Cはスワップ。 自然変換 自然変換の記号 プロファイル 名前 略称 ι I⇒I 恒等 ident δ I⇒Δ*∧ 複写 dup π1 ∧⇒Π1 第1射影 proj1 π2 ∧⇒Π2 第2射影 proj2 ε (Π1×▷)*∧⇒Π2 評価 eval σ ∧⇒S*∧ 対称 symm ! I⇒K*T 終射 term θ K*⊥⇒I 始射 init κ1 Π1⇒∨ 第1入射 inj1 κ2 Π… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20180208%2F1518078327" title="自然演繹にだいたい対応する回路図 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-02-08 17:25:27 rich https://m-hiyama-memo.hatenablog.jp/entry/20180208/1518078327 1.0 100%