ETCS

ETCS(Elementary Theory of the Category of Sets、集合の圏の初等理論)

圏論の、対象だとか射という風に見るやつに関連している

ETCSのPDF

F. William Lawvere. An elementary theory of the category of sets (long version) with commentary. Reprints in Theory and Applications of Categories, 11:1–35, 2005. Reprinted and expanded from Proc. Nat. Acad. Sci. U.S.A. 52 (1964), With comments by the author and Colin McLarty. (Cited on pages 6, 350, and 368.)

ETCSがどういうものかは下記が詳しい

確認用

Q. ETCS

関連

参考

メモ

きちんと

調査用

Wikipedia.icon

Wikipedia.icon