Categoría de biconjuntos
Ponente(s): 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.