Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets (Q1797955)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets |
scientific article |
Statements
Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets (English)
0 references
22 October 2018
0 references
nominal set
0 references
01-nominal set
0 references
support
0 references
free object
0 references
