Tabuadaの
A \mapsto C(A)としてsmall k-flat k-cat Aに対し、k[B]/(B^2)上のdg module C(A)を適切に定めると、これはfiltered hocolimと交換しpointを保ちDrを満たす。
したがってuniversal invariant U_lを経由する。
small dg cat Aに対し、そのnon-connective K-theory K(A)を定めることから、derivatorの射HO(dgcat) \to HO(Spt)が定まり、これがfiltered hocolimと交換しpointを保ちDrを満たすことからuniversal invariantを経由する。