Topogenous orders and closure operators on posets

Abstract

We introduce the notion of topogenous orders on a poset X to be certain endomaps on X. We build on a Galois connection between endomaps and binary relations on X and study relationships between endomap properties and corresponding relational properties. In particular, we determine the topogenous orders that are in a one-to-one correspondence with (idempotent) closure operators. Extending our considerations to the categorical level, we find a cartesian closed category of topogenous systems.We introduce the notion of topogenous orders on a poset X to be certain endomaps on X. We build on a Galois connection between endomaps and binary relations on X and study relationships between endomap properties and corresponding relational properties. In particular, we determine the topogenous orders that are in a one-to-one correspondence with (idempotent) closure operators. Extending our considerations to the categorical level, we find a cartesian closed category of topogenous systems.