首页/论文/2303.02065

arXiv 2303.020652023-03-03math.CTcs.LO

Beyond初始代数与最终余代数

Beyond Initial Algebras and Final Coalgebras

Ezra Schoen, Jade Master, Clemens Kupke

备注：: Extended Abstract

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

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

英文摘要：

We provide a construction of the fixed points of functors which may not be inital algebras or final coalgebras. For an endofunctor F, this fixed point construction may be expressed as a pair of adjoint functors between F-coalgebras and F-algebras. We prove a version of the limit colimit coincidence theorem for these generalized fixed points.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

良点余代数

Well-Pointed Coalgebras

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

2013-08-13cs.LOmath.CT

可达范畴中的终余代数

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

最终余代数的逻辑构造

Logical Construction of Final Coalgebras

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

2004-03-14math.CTmath.LO

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

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

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

2006-01-30math.CTmath.LO

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

The Sierpinski Carpet as a Final Coalgebra

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

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

2025-12-09math.CT

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

关于代数上的余代数

On coalgebras over algebras

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

2010-05-06math.CT

可数步下的终余代数

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

各类度量空间中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

代数与余代数测度的乘法序列的霍赫希尔德理论

Hochschild theory of multiplicative sequences of algebras and coalgebra measurings

Indian Institute of Science, Bangalore（印度科学学院）；Indian Institute of Technology, Delhi（印度理工学院德里分校）

研究代数乘法序列间余代数测度及其在霍赫希尔德同调上诱导映射，借助洗牌积构建相关理论，发展通用测度余代数，通过双模理论研究余模测度诱导映射及丰富范畴，还考虑余乘法序列诱导的测度等。

2026-10-27math.CTmath.RA

关于算子上代数的测度与同调论

On measurings of algebras over operads and homology theories

余代数测度的概念是由Sweedler提出的，它是代数之间的一种广义环映射。我们首先研究由余代数测度诱导的霍赫希尔德同调上的映射。然后我们引入了李代数之间的余代数度量的概念，并利用它得到了李代数同调上的映射。此外，这些李代数之间的测量满足关于泛包络代数的良好的伴随性质。更一般地说，我们介绍和进行详细的研究的概念，余代数测量代数之间的任何操作$\mathcal O$。在$\mathcal O$是一个二元和二次运算的情况下，我们证明了$\mathcal O$ -代数的一个测量导致映射的运算同调。在一般情况下，对任意的运算$\mathcal O$，我们构造了泛测度余代数，证明了$\mathcal O$ -代数范畴在余代数上是丰富的.我们为这一理论发展了测量余模和泛测量余模。最后，我们构造了余泛包络代数$U_{\mathcal O}(\mathscr A)$和$\mathcal O$-代数$\mathscr A$的Sweedler积$C\rhd \mathscr A$.对象$C\rhd \mathscr A$在作为从$\mathscr A$开始的$C$ -测量的目标而出现的$\mathcal O$ -代数中是通用的。

2020-02-27math.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

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

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

分类中的非良基树

Non-well-founded trees in categories

非良基树在数学和计算机科学中被用于建模非良基集，以及非终止过程或无限数据结构。分类上，它们是多项式内函子的最终余代数，我们称之为M型。为了对树进行推理，我们需要路径的概念，它可以在任何带有自然数对象的局部carnival闭pretopos的内部逻辑中形式化。在这样的类别中，我们得到的存在结果M-型，导致稳定的本地carnival封闭pretoses与一个自然数对象和M-型切片下，形成的coalgebras（carnival comonad），和层的内部网站。

2004-09-09math.CT

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

Quantum group coproducts and universality under scalar extensions

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

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

反射代数紧函子

Reflecting Algebraically Compact Functors

紧T-代数是初始T-代数，其逆是最终T-余代数。具有此性质的函子称为代数紧的。这是在编程语义中使用的一个非常强的属性，它允许人们解释涉及混合方差函子的递归数据集，例如函数空间。紧代数的构造通常在具有零对象的范畴中完成，其中存在某种形式的极限-上极限重合。在本文中，我们考虑一个更抽象的方法，并显示如何可以构建紧凑的代数范畴既没有零对象，也没有（标准）限制coolimit重合反映紧凑的代数范畴，两者都有。在这样做时，我们提供了一个建设性的描述的一大类代数紧函子（满足组合性原则），并显示我们的方法比较有利的其他方法从文献中。

2020-09-15cs.LOmath.CT