Algebraic cocompleteness and finitary functors

From MaRDI portal
Revision as of 08:36, 10 July 2024 by Import240710060729 (talk | contribs) (Created automatically from import240710060729)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6315162

DOI10.23638/LMCS-17(2:23)2021arXiv1903.02438MaRDI QIDQ6315162

Author name not available (Why is that?)

Publication date: 6 March 2019

Abstract: A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial algebra and terminal coalgebra are proved to carry a canonical partial order with the same ideal CPO-completion. And they also both carry a canonical ultrametric with the same Cauchy completion.





Mathematics Subject Classification ID

No records found.








This page was built for publication: Algebraic cocompleteness and finitary functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6315162)

Retrieved from "https://mardi.schubotz.org/w/index.php?title=Publication:6315162&oldid=35904862"
Powered by MediaWiki