Grothendieck group of a category