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