Skip to main content
1 of 3
Dan Piponi
  • 8.3k
  • 5
  • 64
  • 92

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

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

Dan Piponi
  • 8.3k
  • 5
  • 64
  • 92