有名なComo90でFreydの論文「代数的に完全なカテゴリー」を読み、彼がその論文で定義した代数的コンパクト性の概念について2つの質問があります。（定義に慣れていない場合、ここにあります：すべてのエンドファンクターが正準同型である初期代数と最終共代数を持つ場合、カテゴリーは代数的にコンパクトと呼ばれます。）
代数的にコンパクトなカテゴリーの例は何ですか？フロイドは例を挙げていますが、厳密に言えば、定義の条件は、特定の内部ファンクターにのみ当てはまります。他の論文（「バナナ、レンズ、エンベロープ、有刺鉄線を使用した関数型プログラミング」など）を読むと、cpo、omega-cpo、または（omega-）cpoを強化したカテゴリーのカテゴリは代数的にコンパクトであると思います。この事実の標準参照は何ですか？
フロイドは、この定義は「バーサリティの原則」によって動機付けられており、英語を母国語としないので混乱していると言います。まず第一に、それは原則ではなく原則であるべきだと思います。また、バーサリティとは何ですか？彼は汎用性を意味しますか？これは（uni）versalityのような言葉のゲームですか？
2
「代数的に完全なカテゴリー」の専門家ではないので、私はこれを答えたくありませんが、ネイティブスピーカーである...あなたの＃2では、「プリンシパル」は完全なタイプミスのようです。単語を再度、しかし、次の文でも、異なる文法的文脈で。彼は「原則」を使うべきだった。一方、「versality」は、「versal」という言葉から「universality」/「universal」を（古風に）短縮したものです。さて、私は著者と物事を議論する人ではありませんが、それは//表示されます//彼は「普遍性の原則」
—
ダニエル・アポン14
「versal」は「universal」と同じではないことに同意します。たとえば、特異点理論には多様な変形の概念があります。大まかに言って、考えられるすべての変形が含まれていますが、おそらく一意ではない、つまり、複数回発生する可能性があります。
—
მამუკაჯიბლაძე
これらをコンピュータサイエンスで区別することは特に重要だと思います。例 ほとんどの列挙可能なセットでは、可能なすべての列挙がセットの要素を無限に何度もヒットします。一対一（「ユニバーサル」）列挙型はまれです。
—
მამუკაჯიბლაძე