Cf. par exemple (en) Roy L. Crole, Categories for Types, CUP, , 335 p. (ISBN978-0-521-45701-9, lire en ligne), p. 61. Signalons que Mac Lane appelle « métacatégorie » ce qui est appelé ici « catégorie », qu'il nomme « catégorie » ce qu'on appelle couramment « petite catégorie », et qu'il réserve le nom de « petite catégorie » à une notion encore plus restrictive.
jstor.org
(en) William Lawvere, « An elementary theory of the category of sets », Proceedings of the National Academy of Sciences of the U.S.A, , p. 1506–1511 (lire en ligne)
(en) Tom Leinster, « Rethinking Set Theory », The American Mathematical Monthly, , p. 403-415 (lire en ligne)
(en) J. L. Bell, « Category Theory and the Foundations of Mathematics », The British Journal for the Philosophy of Science, Vol. 32, No. 4, , p. 349-358 (lire en ligne)
(en) Stewart Shapiro, « Foundations of Mathematics: Metaphysics, Epistemology, Structure », The Philosophical Quarterly (1950-), Vol. 54, No. 214, , p. 16-37 (lire en ligne)
(en) Colin McLarty, « Numbers Can Be Just What They Have To », Noûs, Vol. 27, No. 4, , p. 487-498 (lire en ligne)
mta.ca
tac.mta.ca
(en) William Lawvere, « Functorial Semantics of Algebraic Theories », Reprints in Theory and Applications of Categories, , p. 1-121 (lire en ligne)
