Topogenous orders and closure operators on posets (Q6578087)

In the paper [Appl. Categ. Struct. 24, No. 5, 447--455 (2016; Zbl 1359.54003)] of \textit{D. Holgate} et al., correspondences between topogenous structures and closure operators on categories are investigated, but these categorical topogenous structures and categorical closure opertors are nothing but certain binary relations and closure operators, respectively, on the subobject lattices of the given category. In this paper, the authors define and discuss closure operators in a more general setting (not only on complete lattices but on arbitrary posets). Thus, the results obtained may be used, amongst others, when studying topogenous structures and closure operators on categories. In particular, the authors determine the topogenous orders that are in one-to-one correspondence with idempotent closure operators. Based on a Galois connection between binary relations and endomaps on a poset, the relational axioms that correspond to certain closure axioms in the connection are explicitly specified. In particular, a condition is found under which topogenous orders correspond to closure operators. This result is then used by the authors to find a cartesian closed subcategory of the category of topogenous orders and compatible maps.