Isom is representable

Just a fun exercise in the functorial point of view!
We should probably add a bit more detail.