We formally define isomorphisms, make a few, then use them to accomplish normal programming tasks
This is my 4th or 5th time watching this. Very well done.