On nominal sets with support-preorder

DOI10.52547/cgasa.2022.102623OpenAlexW4292607487MaRDI QIDQ5053424

Aliyeh Hossinabadi, M. Haddadi, Khadijeh Keshvardoost

Publication date: 6 December 2022

Published in: Categories and General Algebraic Structures with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.52547/cgasa.2022.102623

zbMATH Keywords

nominal setsupport topological nominal setsupport-preordered nominal set

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Nonclassical and second-order set theories (03E70) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Categories of sets, characterizations (18B05)

Cites Work

• Unnamed Item
• A new approach to abstract syntax with variable binding
• Binding operators for nominal sets
• Nominal rewriting
• Nominal Sets
• Automata theory in nominal sets
• Nominal Renaming Sets

This page was built for publication: On nominal sets with support-preorder