2020/03/19 by Hongliang Lai, Lai, Hongliang, Dexue Zhang +3
Mathematics · #18C15 #18F60 #18F75 #54B30 #Category Theory (math.CT) #FOS: Mathematics #General Topology (math.GN) #math.CT #math.GN #msc:18C15 #msc:18F60 #msc:18F75 #msc:54B30
paper · pdf · doi:10.48550/arxiv.2003.08610
30 pages
arxiv created 2020/08/23 · arxiv updated 2020/08/25
This paper considers some extensions of the notion of filter to the quantale-valued context, including saturated prefilter, \top-filter and bounded saturated prefilter. The question is whether these constructions give rise to monads on the category of sets. It is shown that the answer depends on the structure of the quantale. Specifically, if the quantale is the unit interval equipped with a continuous t-norm, then these constructions give rise to monads if and only if the implication operator corresponding to that t-norm is continuous at each point off the diagonal.