位相的形状 安全性： 例外ループ禁止〈安全〉 vs. 例外ループ許容 連結性： 連結性要求〈連結〉 vs. 連結性不問 修飾 色： 色無し vs. 色付き 極性： 無極 vs. 有極〈偏極〉 向き： 有向 vs. 無向 形容詞短縮形： safe conn $`\mathfrak{C}`$-color polar dir

モジュラーオペラッドを原圏〈urcategory | 原始圏 | ウル圏〉と呼ぶ。ウル〈ur-〉の意味は、https://www.etymonline.com/jp/word/ur- 「原始的な、初期の」という意味の接頭辞で、ドイツ語の「ur-」から派生しました。 ドイツ語の元々の意味は「外側、原始…