In de wiskunde is een 'morfisme' een abstractie die is afgeleid van structuurbewarende afbeeldingen tussen twee wiskundige structuren. De studie van morfismen en van de structuren (de zogenaamde objecten) waarover deze zijn gedefinieerd, staat centraal in de categorietheorie.