arXiv (All)
open access
Terminal Coalgebras in Countably Many Steps
We present a collection of results that imply that an endofunctor on a category has a terminal coalgebra obtainable as a countable limit of its terminal-coalgebra chain. This holds for finitary endofunctors on locally finitely presentable categories under conditions on both the functor and the categ
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Edge-magic labelings for constellations and armies of caterpillars#984774
- Imagen de Mario Bunge#71137
- Temporal Logics with Reference Pointers and Computation Tree Logics#737291
- Level Up : Wenn das Spiel endet, beginnt das Leben / Geminus Klar#658560
- Inferring contracts by abstract interpretation with application to pointer nullness analysis#1000650
Record · ID 1389019
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive