范畴论文献与库中带幺元的Profunctor求和结构的标准名称？

在实际应用中，我发现了一个可泛化为如下形式的模式：

class Profunctor p <= Zero p where
  pzero :: forall a b. p a b -- 满足`forall f g. dimap f g pzero == pzero`

它看起来足够基础，应该在文献和库中有专属名称，请问这个结构的名称是什么？（Zero和pzero是我自行命名的）

更新内容 #

我意识到之前的泛化有误。我实际使用的数据类型可以提供无限多的pzero实现，但我真正想要的是作为psum :: forall a b . p a b -> p a b -> p a b幺元的唯一pzero。因此我寻求名称的结构应为：

class Profunctor p <= Sum p where
  psum :: forall a b . p a b -> p a b -> p a b -- 满足`psum a (psum b c) == psum (psum a b) c`

class (Profunctor p, Sum p) <= Zero p where
  pzero :: forall a b. p a b -- 满足`psum pzero p == p == psum p pzero`

（可能无需Profunctor p约束）

这看起来像是Product Profunctor的对偶，我暂称其为Sum Profunctor，想知道文献与库中是否已有其他名称。

内容的提问来源于stack exchange，提问作者Eryk Ciepiela