Dependencies for adjunctions-2.5

library