Given $(a_i \in N)$, when is there a monad $T$ on $\mathrm{FinSet}$ such that $$ | T(i) | = a_i\quad\forall i\:? $$
2 of 4
Daniele Tampieri
- 6.4k
- 7
- 30
- 45
when is an integer sequence the trace of a monad on FinSet?
Felix Dilke
- 131
- 2