finitely presentable objects in (cb-sets) fs

Pitts generalized nominal sets to finitely supported cb-sets by utilizing the monoid cb of name substitutions instead of the monoid of finitary permutations over names. finitely supported cb-sets provide a framework for studying essential ideas of models of homotopy type theory at the level of convenient abstract categories.here, the interplay of two separate categories of finitely supported actions of a submonoid of end(d), for some countably infinite set d, over sets is first investigated. in particular, we specify the structure of free objects. then, in the category of finitely supported cb-sets, we characterize the finitely presentable objects and provide a generator in this category.