余强函子的隐藏力量

强函子和单子在计算机科学中无处不在。最近，余单子已证明了它们在构造依赖于上下文的计算概念方面的用途。然而，“强”性质的二元对偶化至今尚未被充分关注。我们认为，“余强”性质提供了对函子如何与幺半群结构交互的不同理解。这项正在进行的工作旨在探索余强函子及其自然性质，并着眼于计算的语义。