参考文献：セール「数論講義」岩波書店 算術級数定理 たがいに素な自然数 [tex:m, a\quad (a

http://jp.arxiv.org/abs/math/0701105

これの categorification は？