Categoría de biconjuntos

Autor: Jose Miguel Calderón León
A finales del siglo XX, el matemático Serge Bouc, dio la definición de una categorı́a de biconjuntos y la definición de funtores de Green en biconjuntos, la cual está inspirada en la definición de un funtor de Green, y para ello necesitó pedir que la categorı́a de biconjuntos con la que se trabaja sea repleta, y cerrada bajo producto. Pidiendo estas caracterı́sticas en las categorı́as, se facilita el manejo de estos funtores, ya que las categorı́as son lo mejor posible. Al inicio del siglo XXI los matemático Robert Boltje, Alberto G. Raggi Cárdenaz, y Luis Valero dieron otra definición de una categorı́a de biconjuntos, inspirada en la definición de una subcategorı́a de biconjuntos admisible, dada por Serge Bouc , y también dieron otra definición de funtores de Green. Las ventajas de estas definiciones es que son más generales que las anteriores, ya que estas categorı́as de biconjuntos contiene a las categorı́as de biconjuntos definida por el Dr. Bouc. Por otro lado es más complicado trabajar con estas definiciones. El objetivo de esta tesina es demostrar que las dos definiciones de funtores de Green en biconjuntos, son equivalentes cuando las dos definiciones de funtores de Green tiene sentido en una categorı́as de biconjuntos.