関手の例 基本群 基点付き位相空間とその間の連続写像からなる圏 を考えます。この圏の対象は、位相空間 X と、その基点 からなる組 で、射 とは、f が連続写像でかつ であるもののことを言います。 このとき、 に対して、その基本群 を対応させることは、圏…