Relating Idioms, Arrows and Monads from Monoidal Adjunctions

关于相对单子和余单子的焦点化的语法与语义

Syntax and semantics of focalisation with relative monads and comonads

本文研究直觉主义与线性设置中资源与效应模态的焦点化语法，通过相对（余）单子实现线性call-by-push-value模型中模态的完备性，并从非结合范畴的伴随角度建立对应关系。

Monads need not be endofunctors

We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed lambda-calculus syntax and indexed containers. We show that the Kleisli and Eilenberg-Moore constructions carry over to relative monads and are related to relative adjunctions. Under reasonable assumptions, relative monads are monoids in the functor category concerned and extend to monads, giving rise to a coreflection between relative monads and monads. Arrows are also an instance of relative monads…

经典计算的概念与Hasegawa-Thielecke定理（扩展版）

Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)

本文提出了一种基于极化效应演算的线性经典L-calculus语法，通过对话duploid概念证明了Hasegawa-Thielecke定理，展示了中心映射与可 thunkable 映射的等价性。