关于适用容器的分类视图

Question

Conor McBride(pigworker)的答案讨论了Applicative也是容器的算子(由一组形状和一系列位置给出的数据类型).除其他外,他提到:

• 两个容器之间的多态函数有两个组件:一个作用于形状,一个作用于位置.
• 在与应用操作相关的操作下,施用容器的形状形成幺半群<*>.

我想知道是否可以在分类设置中进行类似的分析,并且我是否可以使用类别理论得出相同的结论(主要是因为我觉得类别理论比依赖类型理论更容易).

我知道仿Applicative函数是monoidal仿函数(从(Set, ×, 1)到(Set, ×, 1)),我相信容器可以被视为在列表上形状的仿函数(如这里或这里所建议的) - 但我对这个概念或这个断言不太满意.这是考虑应用容器的正确方法吗？作为整体列表上的幺半体仿函数？

PS:如果您认为stackoverflow不适合提出这类问题,请告诉我.