aha! Apparently the thing I'm looking for is called the "Hadamard product" of power series, (Σ a_n x^n) ⋆ (Σ b_n x^n) = (Σ a_n b_n x^n) So, question: how ought I understand the categorification of the hadamard product?
Replying to @graveolens @jcreed
it's also worth noting that there are points other than x=1 for which /trace over the diagonal/ continues to be true due to wacky hypergeometric identities, but I have no idea how to image those into algorithm memoization..
2:09 PM - 23 Aug 2018
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.