Describir: Fundamentos categóricos de la teoría de módulos