集合の圏
↑ Section I.7 of Pareigis 1970
↑ Mac Lane 1969
↑ Feferman 1969
↑ Blass 1984