Post #1846774
2026-04-30 05:32 UTC
@boarders maybe be explicit? As far as I know, and I don’t claim to know much, the argument of a polynomial functor is relegated to the codomain/base.
Replies (1)
-
@boarders@mathstodon.xyz 2026-04-30 05:36
@ToucanIan I am just saying that a polynomial functor is a sum of representables, but neither the sum nor the representables need to be finite so X^Nat or 1 + X + X^2 + … are both “polynomial”