Separated finitely supported Cb-sets

Document Type : Research Paper

Authors

1 Department of Mathematics, Velayat University, Iranshahr, Sistan and Baluchestan, Iran.

2 Department of Mathematics, Shahid Beheshti University, Tehran 19839, Iran.

10.29252/cgasa.13.1.55

Abstract

The monoid Cb of name substitutions and the notion of finitely supported Cb-sets introduced by Pitts as a generalization of nominal sets. A simple finitely supported Cb-set is a one point extension of a cyclic nominal set. The support map of a simple finitely supported Cb-set is an injective map. Also, for every two distinct elements of a simple finitely supported Cb-set, there exists an element of the monoid Cb which separates them by making just one of them into an element with the empty support.
In this paper, we generalize these properties of simple finitely supported Cb-sets by modifying slightly the notion of the support map; defining the notion of 2-equivariant support map; and introducing the notions of s-separated and z-separated finitely supported Cb-sets. We show that the notions of s-separated and z-separated coincide for a finitely supported Cb-set whose support map is 2-equivariant. Among other results, we find a characterization of simple s-separated (or z-separated) finitely supported Cb-sets. Finally, we show that some subcategories of finitely supported Cb-sets with injective equivariant maps which constructed applying the defined notions are reflective.

Keywords

References

[1] Adamek, J., Herrlich, H., and Strecker, G.E., "Abstract and Concrete Categories", John Wiley and Sons, 1990.
[2] Burris, S. and Sankappanavar, H.P., "A Course in Universal Algebra", Springer- Velag, 1981.
[3] Ebrahimi, M.M., Keshvardoost, Kh., and Mahmoudi, M., Simple and subdirectly irreducible finitely supported Cb-sets, Theort. Comput. Sci. 706 (2018), 1-21.
[4] Ebrahimi, M.M. and Mahmoudi, M., The category of M-sets, Ital. J. Pure Appl. Math. 9 (2001), 123-132.
[5] Gabbay, M. and Pitts, A., A new approach to abstract syntax with variable binding, Form. Asp. Comput. 13(3-5) (2002), 341-363.
[6] Herrlich, H. and Strecker, G., Coreflective subcategories, Trans. Amer. Math. Soc. 157 (1971), 205-226.
[7] Kilp, M., Knauer, U. and Mikhalev, A., "Monoids, Acts and Categories", Walter de Gruyter, 2000.
[8] Pitts, A., "Nominal sets, Names and Symmetry in Computer Science", Cambridge University Press, 2013.
[9] Pitts, A., Nominal presentations of the cubical sets model of type theory, LIPIcs. Leibniz Int. Proc. Inform. (2015), 202-220.
Categories and General Algebraic Structures with Applications
Volume 13, Issue 1
July 2020
Pages 55-82

Files

Share

How to cite

Statistics