En mathématiques, un isomorphisme entre deux ensembles structurés est une application bijective qui préserve la structure et dont la réciproque préserve aussi la structure. Plus généralement en théorie des catégories, un isomorphisme entre deux objets est un morphisme admettant un « morphisme inverse » .