En matemáticas , un anillo categórico es, en líneas generales, una categoría dotada de suma y multiplicación. En otras palabras, un anillo categórico se obtiene sustituyendo el conjunto subyacente de un anillo por una categoría. Por ejemplo, dado un anillo R , sea C una categoría cuyos objetos son los elementos del conjunto R y cuyos morfismos son sólo los morfismos identidad. Entonces C es un anillo categórico. Pero el punto es que también se puede considerar la situación en la que un elemento de R viene con un " automorfismo no trivial ". [1]
Esta línea de generalización de un anillo conduce finalmente a la noción de un anillo E n .