Questions tagged [monads]
The monads tag has no usage guidance.
255 questions
0
votes
0
answers
143
views
What is the Eilenberg-Moore category for the cyclic list?
In this paper (Kock 2012), we see a data structure with circular symmetry. It is the cyclic list monad of Examples 3.10. The author is showing that data structures with symmetries can be cast as ...
- 1,313
0
votes
0
answers
236
views
Partial monoid in the category of categories of modules: The spotty nature of monad composition
It seems that I am working on a conjecture in category theory. In particular, I am curious about the spotty nature of the composition of monads on Set. I am guessing that there is a category, $\...
- 1,313
0
votes
0
answers
89
views
Define a directed-complete partial order of lists
The List monad takes a set and produces the set of lists on that set. The elements of the set become the symbols or objects of the list. I would like to define a directed-complete partial order (...
- 1,313
0
votes
0
answers
141
views
The MultiSet (Bag) Monad on FinHilb
It was recently brought to my attention that the Bag monad, also known as the MultiSet monad, is not polynomial on Set, but is Polynomial on the category of Groupoids, 3.10 Examples. I then started ...
- 1,313
-2
votes
2
answers
299
views
Adjunctions between Groupoids and Hilbert spaces
I am interested in any adjunctions between any of the familiar categories of Groupoids and the category of finite dimensional Hilbert spaces. Do any exist? Are there any well know monads on the ...
- 1,313