首页/论文/math/0403227

arXiv math/04032272004-03-14math.CTmath.LO

最终余代数的逻辑构造

Logical Construction of Final Coalgebras

Luigi Santocanale

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

证明了范畴$C$的每个有限多项式内函子都有最终余代数，如果$C$是局部笛卡尔闭的，有有限个不相交的余积和一个自然数对象.更一般地，我们证明了这样的内函子的余代数范畴具有所有有限极限。

英文摘要：

We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of coalgebras for such an endofunctor has all finite limits.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

非良基集模型的一个指数化最终余代数定理

Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem

本文利用指标范畴的形式主义来恢复一个标准的最终余代数定理的证明，从而证明了一类特殊的函子在具有有限极限和上极限的范畴上的最终余代数的存在性.作为这一结果的一个实例，我们建立了最后的余代数的幂类函子，在上下文中的Heyting pretopos一类的小地图。然后证明这提供了一个模型的各种非良好的基础集合论，根据所选择的公理化类的小地图。

2006-01-30math.CTmath.LO

可达范畴中的终余代数

Final coalgebras in accessible categories

本文给出了可达范畴的有限内函子允许一个最终余代数存在的条件。我们的条件总是适用于局部可表示（l.f.p.）的有限内函子的情况。在这种情况下，它们带来了最终余代数的显式构造。另一方面，有一些有趣的例子，最终余代数超出了我们的结果适用的l.f.p.范畴。我们依赖于汤姆Leinster的思想发展的研究自相似对象的拓扑结构。

2009-05-29math.CT

Sierpinski Gasket作为Cauchy完成初始代数的最终余代数

Sierpinski Gasket as a Final Coalgebra Obtained by Cauchy Completing the Initial Algebra

本文提出Sierpinski Gasket（$\mathbb{S}$）是由三点有界度量空间范畴上的闭函子的初始代数通过Cauchy完备化而得到的最终余代数.先前已经观察到，$\mathbb{S}$是双Lipschitz等价于通过完成初始代数而获得的余代数，其中当态射被限制为短映射时，后者被观察到是最终的。这就提出了一个问题：“$\mathbb{S}$是Lipschitz背景下的最终余代数吗？".本文的结果表明，自然的设置是考虑所有的连续函数。最终余代数作为初始代数的柯西完备化的描述已被明确地用于确定从给定余代数到最终余代数的中介态射。这已经被用来表明，如果一个余代数的结构映射是连续的，那么中介态射也是连续的。本文给出的$\mathbb{S}$的描述不仅推广了以前的观察，而且统一了$\mathbb{S}$的经典描述。我们还表明，通过一个例子，$\mathbb{S}$是不是最终的余代数，如果我们只考虑Lipschitz地图。

2019-07-19math.CT

Beyond初始代数与最终余代数

Beyond Initial Algebras and Final Coalgebras

本文给出了一个函子的不动点的构造，这些函子可以不是初始代数或最终余代数。对于一个内函子F，这个不动点结构可以表示为F-余代数和F-代数之间的一对伴随函子。我们证明了这些广义不动点的极限余限重合定理的一个版本。

2023-03-03cs.LOmath.CT

塞皮罗维茨地毯作为最终余代数

The Sierpinski Carpet as a Final Coalgebra

St. Mary's College of California（加利福尼亚圣玛丽学院）；Indiana University（印第安纳大学）

本文通过构造正方形集的范畴和内函子，证明塞皮罗维茨地毯与最终余代数在双Lipschitz等价，并探讨了分形集与递归结构的关系。

2025-12-09math.CT

良点余代数

Well-Pointed Coalgebras

对于保交簇的闭函子，给出了终余代数与初代数的新刻画：终余代数由所有良点余代数组成。这些是没有真子对象和真商的点余代数。初始代数由所有在Osius和Taylor意义下良基的良点余代数组成。而初始代数恰好是最终良基余代数。最后，初始迭代代数由所有有限良点余代数组成。许多例子进行了讨论，例如自动机，图形和标记的过渡系统。

2013-08-13cs.LOmath.CT

更多相关论文收起更多论文

关于代数上的余代数

On coalgebras over algebras

我们扩展巴尔的著名的表征最终的余代数的$Set$ -endofunctor完成其初始代数的Eilenberg-摩尔类别的代数的$Set$ -单子$\mathbf{M}$函子产生的提升。作为应用，我们引入了关于单子$\mathbf{M}$的内函子交换对的概念，并证明了在合理的假设下，其中一个内函子的最终余代数可以作为另一个内函子的初始代数生成的自由代数而得到.

2010-05-06math.CT

各类度量空间中Sierpinski垫片的表示

Presenting the Sierpinski Gasket in Various Categories of Metric Spaces

本文研究了几类具有附加指定点的度量空间上函子的Sierpinski gasket作为最终余代数的表示.这三个类别，我们研究不同的态射：一个使用短（非扩展）地图，第二个使用Lipschitz地图，第三个使用连续地图。在所有情况下，函子都与我们在垫圈作为吸引子的标准表示中发现的非常相似。我们证明了Sierpinski垫片本身是一个自然发生的函子在连续设置的最终余代数。在短的设置，最终余代数存在，但它是更好地描述为初始代数的完成，这是不同构的谢尔宾斯基垫片。在Lipschitz设置中，最终余代数不存在。我们确定初始代数在所有三个设置以及。

2021-10-18math.CT

Hausdorff余代数

Hausdorff coalgebras

作为常数、（余）积、恒等式和幂集函子的复合，Kripke多项式函子在余代数理论中形成了一类相关的$\mathsf{Set}$ -函子。本文的主要目的是将Kripke多项式函子的余代数范畴的极限理论推广到量子富集范畴。为了假设幂集函子的角色，我们考虑基于Hausdorff $\mathsf{V}$ -范畴结构的“类幂集”函子。作为一个出发点，我们表明，对于提升的$\mathsf{SET}$ -函子的拓扑范畴$\mathsf{X}$在$\mathsf{Set}$，与健忘函子交换，相应的类别的余代数在$\mathsf{X}$是拓扑的余代数的类别在$\mathsf{Set}$，因此，它是“作为完整的”，但不能是“更完整的”。其次，基于一个类似Cantor的论证，我们观察到在量子丰富范畴上的Hausdorff函子不允许有终结余代数。最后，为了克服这些“负面”的结果，我们结合量子丰富的类别和拓扑\emph{à la} Nachbin。除了研究这些范畴的一些基本性质外，我们还研究了同时编码经典Hausdorff度量和Vietoris拓扑的“类幂集”函子，并证明了“Kripke多项式”函子的余代数的相应范畴是（余）完备的.

2019-08-12math.CT

通过余代数进行摊销分析

Amortized Analysis via Coalgebra

本文提出一种基于余代数的摊销分析新视角，将势函数泛化为余代数态射，并扩展至双范畴与索引范畴，以支持不精确上界及组合实现。

2024-12-07cs.DScs.PLmath.CT

作为递归余代数的博弈：尼姆和的范畴论视角

Games as recursive coalgebras: A categorical view on the Nim-sum

Graduate School of Mathematical Sciences, University of Tokyo（东京大学大学院数理科学研究科）

本文从范畴论视角利用递归余代数重释组合博弈与尼姆和，分别为博弈论、范畴论研究者提供对应框架与性质良好的博弈范畴，文末列出7个开放问题。

2025-11-14math.COmath.CTmath.LO

可数步下的终余代数

Terminal Coalgebras in Countably Many Steps

Czech Technical University（捷克理工大学）；Technical University Braunschweig（不伦瑞克工业大学）；Friedrich-Alexander-Universität Erlangen-Nürnberg（埃尔朗根-纽伦堡大学）；Indiana University（印第安纳大学）

该研究证明了局部有限呈现范畴上有限自函子的终余代数可通过终余代数链的可数极限得到，并给出Vietoris多项式函子等多类函子终余代数的步长结果及相关证明。

2026-10-20cs.LOmath.CT

有限共递归的一个新基础

A New Foundation for Finitary Corecursion

本文有助于理论的行为的“有限状态”系统是通用的系统类型。我们建议，这样的系统被建模为一个局部可表示范畴上的endofunctor的余代数与一个可生成的载体。他们的行为产生了一个新的不动点的coalgebraic型函子称为局部有限不动点（LFF）。我们证明了，如果给定的endofunctor保持单态，那么LFF总是存在的，是最终余代数的子余代数（不像以前研究的Adámek，Milius和Velebil的有理不动点）。此外，我们表明，LFF的特点是由两个泛性质：1。作为最后的本地生成的余代数，和2。作为初始FG-迭代代数。作为LFF的实例，我们首先获得了有理不动点的已知实例，例如正则语言，有理流和形式幂级数，正则树等，并且我们获得了一些新的例子，例如（实时确定性的resp.非确定性）上下文无关语言，建设性的S-代数形式幂级数（以及Silva，Bonchi，Bonsangue和Rutten的广义幂集构造的任何其他实例）和Courcelle代数树的单子。

2017-10-20cs.LOmath.CT

余单子上余代数的同伦理论

The homotopy theory of coalgebras over a comonad

设K是模型范畴M上的余单子。我们提供的条件下，相关联的范畴的K-余代数承认一个模型范畴结构，使M的健忘函子创建cofibrations和弱等价。我们提供了具体的例子，满足我们的条件和相关的下降理论和理论的霍普夫-伽罗瓦扩展。这些例子是核上的以下类别的余模的具体实例。对任意半遗传交换环R，设A是同调单连通的dg R-代数.设V是一个A-核，且V是有限型无度R-自由同调单连通分次模上的左A-模.我们证明了右A-模范畴上存在一个模型范畴结构，它满足我们关于A与V张量所给出的余子的存在定理的条件，并得出结论：右A-模范畴中的V-余模范畴允许一个所需类型的模型范畴结构.最后，在R，A和V的额外条件下，我们描述了这一类余模中的广义cobar结构的替代。

2013-05-27math.ATmath.CTmath.RA

有限对偶余代数作为极大谱的量子化

The finite dual coalgebra as a quantization of the maximal spectrum

本文将 Heyneman–Sweedler 有限对偶余代数解释为非交换极大谱的量子化，定义完全剩余有限维代数，并刻画中心模有限素仿射代数的 Azumaya 轨迹及单位根量子平面。

2024-01-26math.AGmath.CTmath.QA

双代数胚的标量扩张

Scalar extension of bicoalgebroids

在回顾了双代数胚的定义之后，我们定义了双代数胚上的余模和模。构造了余模的幺半范畴，并定义了双代数胚上的Yetter-Drinfel'd模.证明了Yetter-Drinfel'd范畴和双代数胚一样是monoidal和pre-braided的，并且嵌入到余代数范畴的单侧中心.本文定义了双代数胚上的辫余交换余代数（BCC），并将Brzezinski和Militaru [2]以及Balint和Slachanyi [1]的标量扩张构造对偶化到双代数胚上.给出了这种结构的几个典型例子。通过确定双代数胚上的余代数范畴与其余代数范畴，我们得到了Schauenburg定理的一个弱余代数形式。最后，我们从一元的角度研究了标量扩张和辫余交换余代数。

2007-07-06math.CTmath.QA

量子群余积与标量扩张下的普适性

Quantum group coproducts and universality under scalar extensions

本文刻画了域上双代数、Hopf代数及余代数族乘积有限维的条件，并纠正了标量扩张保持乘积的文献错误，明确了有限与代数扩张的普适性特征。

2025-01-21math.AGmath.CTmath.QA

基于因式分解系统的极小概念

Minimality Notions via Factorization Systems

对于基于状态的系统的最小化（即减少状态的数量，同时保留系统的语义），有两个明显的方面：删除系统中不必要的状态和合并系统中的冗余状态。本文通过定义一个抽象的极小性概念，将余代数的这两个方面联系起来。抽象概念极小性和极小化存在于具有因子分解系统的一般范畴中。我们将找到确保最小化方面的唯一性、存在性和函性的范畴标准。这些结果的证明实例那些可达性和可观测性最小化在标准的余代数文献。最后，我们将看到最小化的两个方面如何相互作用，以及在什么标准下它们可以以任何顺序排序，就像自动机最小化一样。

2021-11-01cs.DMcs.FLmath.CT