La Categoría de los G-copos

Autor: Frank Patrick Murphy Hernandez
Para un grupo $G$ y un copo $X$, decimos que $X$ es un $G$-copo si está equipado con una $G$-acción que es monótona.Si tomamos las funciones monótonas $G$-equivariantes como morfismos obtenemos la categoría de $G$-copos. Demostramos que la categoría es completa y cocompleta. También damos una descripción de los objetos inyectivos y de los objetos proyectivos, así como de los generadores y los cogeneradores.