3 良いカテゴリー理論-ドメイン理論辞書とは何ですか？ ドメイン理論的なカテゴリ（CPOと言う扱うとき CPO）を、私は頻繁にドメイン理論における圏論の言語用の辞書を望みます。ωω\omega つまり、「monic arrow」のような概念が与えられた場合、私はそれを辞書で調べて、さまざまなドメインカテゴリでの既知の特徴を確認できます。 この願いは期待しきれないほどですが、それに近いテキストやリソースはありますか？ 10 ct.category-theory semantics denotational-semantics domain-theory
2 抽象構文での構文カテゴリ/構文ドメインの正確な定義 私は言語の意味論（ゴードン、Winskel、ニールソン＆ニールソン、アリソン、切り株、シュミット）をプログラム上での本のカップルの導入部分を読んでいる、と私は、彼らが何を意味するか理解している間、構文カテゴリ、または構文上のドメイン、私は」didnのtそれらの厳密で簡単な定義を見つけます。標準的な定義はありますか、おそらく以前の作品にありますか？ 8 semantics denotational-semantics definitions
2 非単調論理のカテゴリー意味論？ 非単調ロジックのカテゴリセマンティクスはありますか？ 非単調論理のどのモデルでも合成の明白な概念が失敗するため、これに対する単純な答えは「いいえ」であるように見えます。しかし、適切に定義された構成の概念で実際に機能するモデルはありますか？ 8 ct.category-theory semantics denotational-semantics