All Questions
1 question
2
votes
2
answers
180
views
Finitary endofunctors: "Support" of elements of $TM$ where $T:\mathrm{Set}\to\mathrm{Set}$ is finitary
Consider the word a.k.a. list monad $W:\mathrm{Set}\to\mathrm{Set}$ assigning to a given set $M$ the set of words over $M$. Now, given a set $M$, we can assign to every word $w\in WM$ a subset of $M$:
...
- 3,249