4 Dec
2008
4 Dec
'08
9:11 a.m.
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