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