Re: Finite sets and injective maps

4 Dec 2008

      On 4 Dec 2008, at 09:11, 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?
It's the coaffine category (i.e. symmetric monoidal category whose
unit is initial) freely generated by one object.

See the following paper:

@article{Petric:substruct,
   author    = {Zoran Petric},
   title     = {Coherence in Substructural Categories},
   journal   = {Studia Logica},
   volume    = {70},
   number    = {2},
   year      = {2002},
   pages     = {271-296},
   bibsource = {DBLP, http://dblp.uni-trier.de}
}

Paul

Re: Finite sets and injective maps

Paul Levy