Categories and sheaves appear almost frequently in contemporary advanced mathematics. The authors present the general theory of categories and functors, emphasizing inductive and projective limits, tensor categories, representable functors, ind-objects and localization.