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 polynomial monads on the 2-category of groupoids. I Would like to know the Eilenberg-Moore Category for the Cyclic list monad. I have a theory that the data structure for the quantum convex spaces, like finite dimensional spaces, is a data structure with a cyclic symmetry. I am thinking this because basic quantum experiments such as stern Gerlach or just polarization apparatuses have a circular symmetry. They have dials that rotate the basis of the measuring device.

Someone has suggested that Kock was writing about cyclic lists as a data structure defined by just an endofunctor, rather than a Monad. I would be perfectly happy if anyone wants to give the EM category for that endofunctor, or the category of algebras for that endofunctor.

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 polynomial monads on the 2-category of groupoids. I would like to know the Eilenberg-Moore category for the cyclic list monad. I have a theory that the data structure for the quantum convex spaces, like finite dimensional spaces, is a data structure with a cyclic symmetry. I am thinking this because basic quantum experiments such as stern Gerlach or just polarization apparatuses have a circular symmetry. They have dials that rotate the basis of the measuring device.

Someone has suggested that Kock was writing about cyclic lists as a data structure defined by just an endofunctor, rather than a monad. I would be perfectly happy if anyone wants to give the EM category for that endofunctor, or the category of algebras for that endofunctor.

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 polynomial monads on the 2-category of groupoids. I Would like to know the Eilenberg-Moore Category for the Cyclic list monad. I have a theory that the data structure for the quantum convex spaces, like finite dimensional spaces, is a data structure with a cyclic symmetry. I am thinking this because basic quantum experiments such as stern Gerlach or just polarization apparatuses have a circular symmetry. They have dials that rotate the basis of the measuring device.

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 polynomial monads on the 2-category of groupoids. I Would like to know the Eilenberg-Moore Category for the Cyclic list monad. I have a theory that the data structure for the quantum convex spaces, like finite dimensional spaces, is a data structure with a cyclic symmetry. I am thinking this because basic quantum experiments such as stern Gerlach or just polarization apparatuses have a circular symmetry. They have dials that rotate the basis of the measuring device.

Someone has suggested that Kock was writing about cyclic lists as a data structure defined by just an endofunctor, rather than a Monad. I would be perfectly happy if anyone wants to give the EM category for that endofunctor, or the category of algebras for that endofunctor.