Algebraic cocompleteness and finitary functors

Autor:	Adamek, Jiri
Rok vydání:	2021
Předmět:	Computer Science - Logic in Computer Science Mathematics - Category Theory F.3.2
Druh dokumentu:	Working Paper
Popis:	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. Comment: Accidental duplicate of arXiv:1903.02438
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2102.06532 Zobrazit plný text záznamu View this record from Arxiv