Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets
From MaRDI portal
Publication:1797955
DOI10.1007/s00500-017-2793-2zbMath1398.18003OpenAlexW2753872413MaRDI QIDQ1797955
Mojgan Mahmoudi, Khadijeh Keshvardoost
Publication date: 22 October 2018
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-017-2793-2
Special properties of functors (faithful, full, etc.) (18A22) Categories of sets, characterizations (18B05)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Nominal monoids
- A new approach to abstract syntax with variable binding
- Nominal techniques in Isabelle/HOL
- Nominal logic, a first order theory of names and binding
- Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
- Nominal Sets
- Automata theory in nominal sets
- An algebraic weak factorisation system on 01-substitution sets: a constructive proof
- One-and-a-halfth-order Logic
- Nominal Domain Theory for Concurrency
- Nominal Groups and Their Homomorphism Theorems