sudgylacmoe | An Interesting Construction of Polynomials (Part 1) @sudgylacmoe | Uploaded July 2024 | Updated October 2024, 7 hours ago.
In this short, I show an interesting construction of polynomials as the free module on the natural numbers. This is the construction that I ended up using in my Coq project developing math from the ground up. While I used the real numbers as my scalars in this video, this construction works for any commutative ring.

Discord: discord.gg/3Zj59zA2Rg

Patreon: patreon.com/sudgylacmoe

Patreon Supporters:
David Johnston
Jason Killian
jerrud
p11
Richard Penner
trb