arXiv:2610.13201 · v2

Compact Quantitative Equational Theories as Monad Restrictions

首次提交 2026-10-09 16:20

版本更新 2026-11-03 00:25

雷达观测 2026-11-04 23:41

摘要

Proofs in quantitative algebra are, generally, infinite objects due to the presence of infinitary rules in the deductive apparatus. A quantitative equational theory is called compact if all its consequences are derivable by means of finite proofs, that is, proofs not using any instances of the infinitary rules. This definition is purely logical. In this work we give an equivalent, but categorical, characterisation based on the notion of monad restriction.

作者备注：Conference: MFPS 2026, Ljubljana 2026