Skip to main content
3 of 3
added 6 characters in body
Dan Piponi
  • 8.3k
  • 5
  • 64
  • 92

This $\ast$ operation can appear when you count the number of natural transformations between polynomial endofunctors on $Set$. For example, if we abuse notation so that $f$ is both a univariate polynomial and its corresponding polynomial endofunctor, then $|Nat(f,1_{Set})|=f^\ast(1)$.

I came across this recently when writing code to memoize polymorphic functions.

Dan Piponi
  • 8.3k
  • 5
  • 64
  • 92