derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-category Mac Lane本で解説のある「射のみのメタ圏」(arrows-only metacategory)について触れる。 ここでメタ圏と読んでいるものはAwodey本の圏なので、メタはあってもなくても良い。Mac Lane本の注釈でも「メタ圏およびメタグラフという用語はあまり一般的ではない。通常は公理的に記述されるものも単に圏やグラフと呼ぶ。」とある。Mac Lane本では圏は ``メタ圏で定義した公理を集合論の言葉で記述したもの'' のことらしい。高尚すぎるので今後区別をしない。 Definition (arrows-only metacategory) arrows-only metacate… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F05%2F220628" title="圏論(21)と arrows-only metacategory - らんだむな記憶" 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 2016-02-05 22:06:28 rich https://randommemory.hatenablog.com/entry/2016/02/05/220628 1.0 100%