もう少し下準備にお付き合いください。 より拡張された意味での「写像」 を小さな集合とするとき、 の部分集合を から への対応と言いました。特に、対応 が *1] の略記です。)) を満たすとき、 から への写像と言い、 に対して となる のことを と書くので…

いよいよ圏論の基礎についてです。今回は、その下準備的な話をしたいと思います。 小さな集合とクラス 私たちが普段数学で扱う「集合」とは、Zermelo-Fraenkel 公理系によってその性質が定められているものを言います。これを区別して「小さな集合」と呼ぶこ…