Dependencies for adjunctions-0.5.1

library