A 2-categorical version of the straightening-unstraightening adjunction - 42Papers