12年前の記事「可愛い圏」 集合に恒等射を追加して離散圏にできるし、順序集合の比較可能なペアを射とみなせばとてもやせた圏〈very thin category〉になります。逆に言えば、集合も順序集合も特別な圏です。一般の圏に条件を付けて絞り込むと特別な圏になり…

「カーディナリティ〈多重度〉の“カラスの足”記法が分からない」において、関係のカーディナリティ〈多重度〉の説明が（僕が見た少数の事例では）曖昧・意味不明で困ったもんだ、という話をしました。その後、ER diagrams vs. EER diagrams: What’s the diff…