Una categoría monoidal, es una categoría con una operación binaria que convierte a la categoría en un monoide.