2) Categora Setsfin (todos los conjuntos finitos y las funciones entre ellos).
Hay muchas categoras como esta. Tome cualquier conjunto finito de objetos y sus funciones inyectivas
como flechas. (por ejemplo 1 a 1) . Dado que las funciones inyectivas se pueden componer y dado
que la identidad de las funciones es inyectiva, esto resulta una categora.
3) Estructured sets ( conjuntos con un tipo de estructura y funciones que la preservan).
4) Pos (conjuntos parcialmente ordenados y funciones montonas).
.
Definicin 1.2. Un funtor
F: C D
entre categoras C y D es una aplicacin (mapping) de objeto a objeto y flechas a flecha, tal que:
a) F(f: A B ) = F (f): F(a) F (B),
b) F (1A)= 1F(A) ,
c) F (gf)= F(g)F(f).
Esto es, F preserva dominios y codominios, flechas de identidad, y composicin. Un funtor F: CD da
entonces una especie de imagen- tal vez distorsionada- de C en D.
As tenemos la categora Cat , la categora de todas las categoras y funtores.
13) Un monoide (a veces llamado un semigrupo con unidad) es un conjunto M equipado con una
relacin binaria . : M x M M y un nico elemento distinguido u e M tal que para todo x,y,z e M.
Un monoide es una categora con slo un objeto. Las flechas de la categora son los elementos del
monoide. En particular, las flechas de identidad es el elemento unitario u. La composcin de flechas es