Dependencies for adjunctions-3.0

library