Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects.