Ildefonso di Toledo fu un monaco benedettino, teologo e arcivescovo di Toledo del VII secolo, vissuto durante il periodo visigoto nella penisola iberica. Nato in una famiglia illustre di Toledo, inizialmente intraprese la vita monastica presso il monastero di Agali, dove servì come abate e fondò un convento di monache. Successivamente divenne arcivescovo metropolita di Toledo dopo la morte di suo zio Eugenio. È ricordato principalmente per i suoi influenti scritti teologici riguardanti la Vergine Maria e per la sua significativa leadership all'interno della Chiesa visigota.