Mac Lane の「圏論の基礎」III章1節演習問題7に、可換環 K 上の多項式環 K[x] の普遍的構成で得られることを示す問題がある。 色々偶然が重なっていくつかのやり方がみつかったので書いておく。 集合圏を Sets、可換環の圏を CRng と書く。また n 点集合を n…