Search
❯
03 Apr 20251 min read
A natural transformation with an inverse.
These are simply 2-isomorphism in the category Cat.