In this thread, I think I just learned that heteromorphisms are profunctors and corelations are partitions. There's frankly no way I'd ever have figured that out on my own unless I were working on a project that centered around those ideas to begin with.

This sort of thing is precisely why I signed up for this course, but is there something out there like a list of equivalent or closely-related terms from different branches of the literature?