Terminal Coalgebras for Finitary Functors

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F25%3A00390205" target="_blank" >RIV/68407700:21230/25:00390205 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.4230/LIPIcs.CALCO.2025.3" target="_blank" >https://doi.org/10.4230/LIPIcs.CALCO.2025.3</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4230/LIPIcs.CALCO.2025.3" target="_blank" >10.4230/LIPIcs.CALCO.2025.3</a>

Result language
angličtina
Original language name
Terminal Coalgebras for Finitary Functors
Original language description
We present a result that implies that an endofunctor on a category has a terminal coalgebra obtainable as a countable limit of its terminal-coalgebra sequence. It holds for finitary endofunctors preserving nonempty binary intersections on locally finitely presentable categories, assuming that the posets of strong quotients and subobjects of every finitely presentable object satisfy the descending chain condition. This allows one to adapt finiteness arguments that were originally advanced by Worrell concerning terminal coalgebras for finitary set functors. Examples include the categories of sets, posets, vector spaces, graphs, and nominal sets. A similar argument is presented for the category of metric spaces (although it is not locally finitely presentable).
Czech name
—
Czech description
—

Project
<a href="/en/project/GA22-02964S" target="_blank" >GA22-02964S: Enriched categories and their applications</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Leibniz International Proceedings in Informatics (LIPIcs)
ISBN
978-3-95977-383-6
ISSN
1868-8969
e-ISSN
—
Number of pages
16
Pages from-to
—
Publisher name
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Place of publication
Dagstuhl
Event location
Glasgow
Event date
Jun 16, 2025
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
001585185500003

Similar results(10)