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-conne…