There's this, but the programmer doesn't have to be working: https://bartoszmile...

		dkjaudyeqooe on July 10, 2023 \| parent \| context \| favorite \| on: Polynomial Functors: A Mathematical Theory of Inte... There's this, but the programmer doesn't have to be working: https://bartoszmilewski.com/2014/10/28/category-theory-for-p... https://github.com/hmemcpy/milewski-ctfp-pdf