m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 12年前の記事「可愛い圏」 集合に恒等射を追加して離散圏にできるし、順序集合の比較可能なペアを射とみなせばとてもやせた圏〈very thin category〉になります。逆に言えば、集合も順序集合も特別な圏です。一般の圏に条件を付けて絞り込むと特別な圏になります。 離散的 やせている 無条件 単対象 単元集合 単元集合 モノイド 任意個の対象 集合 プレ順序集合 一般の圏 圏としてのプレ順序集合に、「同型な対象は等しい（骨格性〈skeletal〉条件）」または「同型射は恒等射に限る（ガリガリ〈gaunt〉条件）」を付けると順序集合になります。プレ順序集合、モノイド、圏に、「すべての射が可逆で… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2023%2F06%2F15%2F182528" title="特別な圏 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2023-06-15 18:25:28 rich https://m-hiyama.hatenablog.com/entry/2023/06/15/182528 1.0 100%