The saturated prefilter monad

Hongliang Lai, Dexue Zhang, Gao Zhang

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 quest…