Separated finitely supported $Cb$-sets
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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Shahid Beheshti University
2020-07-01
|
| Series: | Categories and General Algebraic Structures with Applications |
| Subjects: | |
| Online Access: | https://cgasa.sbu.ac.ir/article_87413_0b1bd3b91cc24e487df84a5e89e77f28.pdf |