Varieties of quantitative algebras as categories
arxiv(2024)
摘要
Classical varieties were characterized by Lawvere as the categories with
effective congruences and a varietal generator: an abstractly finite regular
generator which is regularly projective (its hom-functor preserves regular
epimorphisms). We characterize varieties of quantitative algebras of Mardare,
Panangaden and Plotkin analogously as metric-enriched categories. We introduce
the concept of a subcongruence (a metric-enriched analogue of a congruence) and
the corresponding subregular epimorphisms obtained via colimits of
subcongruences. Varieties of quantitative algebras are precisely the
metric-enriched categories with effective subcongruences and a subvarietal
generator: an abstractly finite subregular generator which is subregularly
projective (its hom-functor preserves subregular epimorphisms).
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要