Filters on Posets and Generalizations online article updated as an accomplishment of this plan.
This is important primarily to extend the category of pointfree funcoids with objects being arbitrary posets (even without least element). That way this category would become more “complete”. To extend that is required a definition of intersecting elements of a poset without least element and thus the above update of that article.