Nominal renaming sets are equipped with a monoid action of arbitrary (possibly non-injective) substitution of names, in contrast to nominal sets, which only involve a group action of permutations. kk , where Pm-Nom is the usual category of nominal sets and Sb-Nom the category of nominal renaming sets.
Jan 25, 2024
We show that nominal renaming sets exhibit many of the useful qualities found in (permutative) nominal sets; an elementary sets-based presentation, inductive ...
Abstract. Nominal techniques are based on the idea of sets with a finitely- supported atoms-permutation action. We consider the idea of nominal renaming ...
People also ask
What are nominal data sets examples?
What is a nominal set?
Abstract. Nominal techniques are based on the idea of sets with a finitely- supported atoms-permutation action. We consider the idea of nominal renaming ...
Jun 3, 2019 · In this paper, nominal sets are related to nominal renaming sets, which involve arbitrary substitutions rather than permutations, through a ...
We show that nominal renaming sets exhibit many of the useful qualities found in (permutative) nominal sets; an elementary sets-based presentation, inductive ...
In this paper, nominal sets are related to nominal renaming sets, which involve arbitrary substitutions rather than permutations, through a categorical ...
We show that nominal renaming sets exhibit many of the useful qualities found in (permutative) nominal sets; an elementary sets-based presentation, inductive ...
Jul 4, 2023 · A theory that deals with alpha equivalence needs a notion of “renaming variables”. Nominal sets uses permutations of names. A permutation of ...
Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and ...