暫定案

「フェース」じゃなくて「フェイス」にした。

• フェイス：コンパクト閉圏における域、余域
• フロントフェイス：域
• バックフェイス：余域
• ユーザーサイド： フロントフェイスと同じ
• クライアントサイド： ユーザーサイドと同じ
• プラットフォームサイド： バックフェイスと同じ
• サーバーサイド ：プラットフォームサイドと同じ
• データ（ボックス） ： 1→A の形の射（1はモノイド単位）
• サービス（ボックス） ： A→1 の形の射
• シンプルサービス（ボックス）: サービスであり、ポートがマイナス1個だけの射（ボックス）。
• レイヤー ： トゥラエフの輪切り（スライス）
• クラスター ：ワイヤリングされたボックスの集まり
• （クラスター／ワイヤリング）スキーム：ボックスのプレイスホルダー（記号的ボックス）を含むクラスター