In algebra astratta, un omomorfismo è un'applicazione tra due strutture algebriche dello stesso tipo che conserva le operazioni in esse definite. Questo oggetto, calato nel contesto più astratto della teoria delle categorie, prende il nome di morfismo.