Given $(a_n \in \mathbb{N})$, when is there a monad $T$ on $\mathrm{FinSet}$ such that $$ | T(n) | = a_n\quad\forall n\in \mathbb{N}\:? $$
when is an integer sequence the trace of a monad on FinSet?
Felix Dilke
- 131
- 2