See diagrams at https://catecon.net/d/hdole/identity and https://catecon.net/d/hdole/isomorphism. Today, let’s define the notions of identity and isomorphism. Then show in Catecon how an identity is an isomorphism. Let’s get morphing! Create a new diagram called identity. CT’s say “The morphism id on an object A in the category D is an identity if for every f with…
![](https://i0.wp.com/harrydole.com/wp/wp-content/uploads/2022/06/identity-thumbnail.png?resize=840%2C410&ssl=1)
You must be logged in to post a comment.