2000 character limit reached
Algebraic representation of L-valued continuous lattices via the open filter monad
Published 7 Dec 2019 in math.GN | (1912.03505v1)
Abstract: With a complete Heyting algebra $L$ as the truth value table, we prove that the collections of open filters of stratified $L$-valued topological spaces form a monad. By means of $L$-Scott topology and the specialization $L$-order, we get that the algebras of open filter monad are precisely $L$-continuous lattices.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.