拉抽象代数中,同构(英语:isomorphism)指个是一个保持结构个双射。拉更一般个范畴论语言中,同构指个是一个态射,且存在另一个态射,让两者个复合是一个恒等态射。