paperbot · PL 论文追踪

RSS

A cone-theoretic barycenter existence theorem

LMCS vol.Volume 20, Issue 42024
Jean Goubault-Larrecq, Xiaodong Jia

尚未生成 AI 速览(可能缺少 API key 或等待下次运行补跑)。

原文摘要(Abstract)

We show that every continuous valuation on a locally convex, locally convex-compact, sober topological cone $\mathfrak{C}$ has a barycenter. This barycenter is unique, and the barycenter map $\beta$ is continuous, hence is the structure map of a $\mathbf V_{\mathrm w}$-algebra, i.e., an Eilenberg-Moore algebra of the extended valuation monad on the category of $T_0$ topological spaces; it is, in fact, the unique $\mathbf V_{\mathrm w}$-algebra that induces the cone structure on $\mathfrak{C}$.

链接与引用

DOI 原文 ·

BibTeX
@article{paperbot2715,
  title = {A cone-theoretic barycenter existence theorem},
  author = {Jean Goubault-Larrecq and Xiaodong Jia},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 20, Issue 4},
  year = {2024},
  doi = {10.46298/lmcs-20(4:7)2024}
}