Dependencies for adjunctions-3.1

library