paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Hopf and Lie algebras in semi-additive Varieties

半加性簇中的 Hopf 与 Lie 代数
LMCS Volume 13, Issue 2(Coalgebraic methods)2017匹配度 0/10 · 该论文研究熵半加性簇中的 Hopf 幺半群与 Lie 代数等纯代数/范畴论问题，与用户关注的程序静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析等方向没有直接关联。引用 0 inbox
Hans-E. Porst
形式语义
dblp: 2026-09-10crossref: 2026-09-10arxiv: 2026-09-10

AI 速览

一句话：在熵半加性簇中研究 Hopf 幺半群，并刻画包络幺半群函子与原始元素函子之间的伴随关系。

本文在范畴论与泛代数框架下考察半加性簇（semi-additive variety）中的 Hopf 幺半群，重点关注包络幺半群函子与原始元素函子相关的伴随关系。研究以一个半加性簇的 abelian core 及其在熵（entropic）条件下的 monoidal 结构为基础，借此将 Hopf 代数与 Lie 代数式的构造推广到更一般的半加性簇语境。摘要未给出具体定理编号或应用评估，但表明该工作为在半加性簇中统一处理 Hopf 结构、Lie 结构及其泛性质提供了范畴论工具，并强调熵性质对 abelian core 上 monoidal 结构的作用。

问题
如何在半加性簇，特别是熵半加性簇中统一描述 Hopf 幺半群，并理解包络幺半群函子与原始元素函子之间的伴随关系。
方法
以半加性簇的 abelian core 及其在熵条件下的 monoidal 结构为范畴论基础，分析相关函子与伴随。
评估
理论性工作，评估表现为范畴论与泛代数层面的定义、构造和伴随关系论证；摘要未报告实验或实现评估。
原文摘要（Abstract）

We study Hopf monoids in entropic semi-additive varieties with an emphasis on adjunctions related to the enveloping monoid functor and the primitive element functor. These investigations are based on the concept of the abelian core of a semi-additive variety variety and its monoidal structure in case the variety is entropic.Comment: 13 pages

链接与引用

DOI 原文 · arXiv · PDF（开放获取） · DBLP

BibTeX 
@article{Porst17,
  title = {Hopf and Lie algebras in semi-additive Varieties},
  author = {Hans-E. Porst},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 13, Issue 2},
  number = {Coalgebraic methods},
  year = {2017},
  doi = {10.23638/lmcs-13(2:3)2017}
}