2006-07-18 図式法と用語法 トレース/コンパクト閉圏 用語法 普通の圏論、ETB図、Janus図での対応。 圏論 型なしETB図 Janus図 単純対象 ポート 単純指標 対象 ポートセット(自然数) 指標 対象の積(和) 並置(和) 指標の和 単位対象 空ポートセット(0) 空指標 射 ボックス ボックス 恒等射 ストレートジャンクション スルーボックス 結合(合成) 直列結合 対話的結合 射の積 ボックスの並置 ボックスの並置とワイヤ交差 対称 クロスジャンクション ダブルクロスボックス 双対 - 反転 単位/余単位 ターニングジャンクション エコーボックス