All Questions

Ahman et al. wrote about when a container is a comonad. Containers can also be monads, such as List. This means that we can take all containers that are endofunctors on Set and they live in the ...

The bag monad, sometimes called the multiset monad or free commutative monoid monad is a functor on Set that takes a set to its set of bags. These bags are like strings written in the elements of the ...

The category of polynomial functors on Set is equivalent to the category of containers. We have a prescription for when a container is a comonad. There are a few other questions that come to mind. ...