2008-04-30 Tabuada, DG categories as Eilenberg-Mac Lane spectral algebra math http://jp.arxiv.org/abs/0804.2791