Objetos centrales de la investigación en álgebra abstracta (estructuras algebraicas y morfismos)