document.write("« B\'enabou's theorem for pseudoadjunctions. (arXiv:1707.04074v1 [math.CT])");document.write(" | ");document.write("Biologists Use Gene Editing To Store Movies In DNA »");