Some characterization results for permutation algebras

In recent years, many general presentations (metamodels) for calculi with name-passing, either operational or denotational in flavour, have been proposed. In this paper, we investigate the connections among some of these proposals, namely permutation algebras, named sets and sheaf categories, with the aim of establishing a bridge between different approaches to the abstract specification of nominal calculi