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…

You must be logged in to post a comment.