El anillo haría el papel de la categoría "C", y la categoría de funtores donde se le embebe sería la categorías de módulos sobre el anillo embebido.