Given (a_i \in N), when is there a monad T on FinSet such that
| T(i) | = a_i \forall i ?
when is an integer sequence the trace of a monad on FinSet?
Felix Dilke
- 131
- 2