加载中…
Let be a commutative and unital quantale. By a -map we mean a left adjoint in the quantaloid of sets and -relations, and by a partial -map we refer to a Kleisli morphism with respect to the maybe monad on the category of sets and -maps. It is shown that every -map is symmetric if and only if is weakly lean, and that every -map is exactly a map in if and only is lean. Moreover, assuming the axiom of choice, it is shown that the category of sets and partial -maps is monadic over .

生成讲解博客的中文版本

生成AI智能校验的中文版本