圏Cに直積・直和などがあって、+, ×, 1, 0などに意味があるとする。この状況を抽象化すれば、ringoidal（または semiringoidal）圏とかも定義できるだろう。ま、それはいいとして、C上の多項式関手の概念があるとき、F(X) = 1 + X + X^2 + ... という級数で…