有关适用容器的分类视图

Question

来自Conor McBride（pigworker）的

This answer讨论了Applicative函子，它们也是containers（数据类型由一组形状和一组位置给定）。 他特别提到：

• 两个容器之间的多态函数包含两个组件：一个作用于形状，一个作用于位置。
• 在与应用程序操作<*>相关的操作下，应用程序容器的形状形成一个单面体。

我想知道是否可以在分类环境中进行类似的分析，是否可以使用类别理论得出相同的结论（主要是因为类别理论比依存类型理论更轻松）。

我知道Applicative个函子是monoidal functors（从(Set, ×, 1)到(Set, ×, 1)），并且我相信容器可以看作functors shapely over lists（建议{ {3}}或here）-但是我对这个概念或这个主张不太满意。 这是将应用容器视为整形在列表上的单对子函子的正确方法吗？

P.S .：如果您认为stackoverflow不是提出此类问题的适当位置，请告诉我。