Re: Finite sets and injective maps

The category of finite sets and injective functions is the symmetric monoidal category freely generated from one pointed object (i.e., from one object A and one arrow I->A, where I is the tensor unit). -- Peter Andrej Bauer wrote:

The category of finite sets and functions may be characterized (up to equivalence) as the category with finite coproducts freely generated from one object. Is there a similar nice characterization for the category of finite sets and _injective_ functions?

Best regards,

Andrej