You should've told me it was a functor from pairs of a well-pointed (infinity,1)-topos to Z-graded Abelian groups!

You should've told me it was a functor from pairs of a well-pointed (infinity,1)-topos to Z-graded Abelian groups!