On nominal sets with support-preorder
Aliyeh Hossinabadi, Mahdieh Haddadi, Khadijeh Keshvardoost · Categories and General Algebraic Structures with Application · 2022
Each nominal set 𝑋 can be equipped with a preorder relation ⪯ defined by the notion of support, so-called support-preorder. This preorder also leads us to the support topology on each nominal set. We study support-preordered nominal sets and some of their categorical properties in this paper. We also examine the topological properties of support topology, in particular separation axioms.