Su nombre deriva de la visión del papa gregorio del Arcángel Miguel ahora representada por una estatua en la cima anunciando el final de una plaga en 590 .
Su nombre no tiene nada que ver con el arcángel Miguel .