Completing Simple Valuations in K-categories

Autor:	Jia, Xiaodong, Mislove, Michael
Rok vydání:	2020
Předmět:	Computer Science - Logic in Computer Science 06B30 06B35 06D723 68Q55 F.3.2
Druh dokumentu:	Working Paper
Popis:	We prove that Keimel and Lawson's K-completion Kc of the simple valuation monad Vs defines a monad Kc o Vs on each K-category A. We also characterize the Eilenberg-Moore algebras of Kc o Vs as the weakly locally convex K-cones, and its algebra morphisms as the continuous linear maps. In addition, we explicitly describe the distributive law of Vs over Kc, which allows us to show that the K-completion of any locally convex (respectively, weakly locally convex, locally linear) topological cone is a locally convex (respectively, weakly locally convex, locally linear) K-cone. We also give an example - the Cantor tree with a top - that shows the dcpo-completion of the simple valuations is not the D-completion of the simple valuations in general, where D is the category of monotone convergence spaces and continuous maps. Comment: 34 pages, 17 figures
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2002.01865 Zobrazit plný text záznamu View this record from Arxiv