Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets

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

zbMATH Keywords

supportfree object01-nominal setnominal set

Mathematics Subject Classification ID

Special properties of functors (faithful, full, etc.) (18A22) Categories of sets, characterizations (18B05)

Uses Software

• Nominal Isabelle
• FreshOCaml

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

This page was built for publication: Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets