adjunction Sagemath software for computation in the derived category of presheaves of abelian groups on a category