Categories and sheaves - Kashiwara, Masaki (springer, 2006)