Grothendieck Group Decategorifications and Derived Abelian Categories