---
title: "morphism"
source: https://www.jemoka.com/posts/kbhmorphism/
---

A morphism is a not-necessarily-invertible map between two objects of a category. If the map is indeed invertable, then we call the map an isomorphism.
