m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ トレース／コンパクト閉圏 用語法 普通の圏論、ETB図、Janus図での対応。 圏論 型なしETB図 Janus図 単純対象 ポート 単純指標 対象 ポートセット（自然数） 指標 対象の積（和） 並置（和） 指標の和 単位対象 空ポートセット（0） 空指標 射 ボックス ボックス 恒等射 ストレートジャンクション スルーボックス 結合（合成） 直列結合 対話的結合 射の積 ボックスの並置 ボックスの並置とワイヤ交差 対称 クロスジャンクション ダブルクロスボックス 双対 - 反転 単位／余単位 ターニングジャンクション エコーボックス 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20060718%2F1153215459" 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 2006-07-18 18:37:39 rich https://m-hiyama-memo.hatenablog.jp/entry/20060718/1153215459 1.0 100%