推理语言的指称语义：半环、 Monad 和张量
计算机视觉与模式识别
2024-06-28 v4
摘要
计算效应通常由 monad 建模，但 monad 往往可以通过操作和方程的代数理论来呈现。本次报告涉及用于推理语言的 monad 和代数理论，以及它们与半环和张量的联系。代数理论的一个基本示例类来自考虑半环上的模理论，例如非归一化分布理论，其中半环为非负实数半环。我们提出，通过半环研究理论提供了一个有趣的视角，为此我们探索了模理论的若干子理论示例，主要与概率相关。我们的主要贡献涉及 Hyland、Plotkin 和 Power 所研究的效应的交换组合：我们观察到，虽然半环张量通常不能决定模理论子理论的张量，但在几个基本的概率示例中确实如此。
引用
@article{arxiv.2312.16693,
title = {I2V-Adapter: A General Image-to-Video Adapter for Diffusion Models},
author = {Xun Guo and Mingwu Zheng and Liang Hou and Yuan Gao and Yufan Deng and Pengfei Wan and Di Zhang and Yufan Liu and Weiming Hu and Zhengjun Zha and Haibin Huang and Chongyang Ma},
journal= {arXiv preprint arXiv:2312.16693},
year = {2024}
}