An introduction to basic category theory (categories, functors, natural transformations, (co)limits, adjoints and if time permits maybe some monads or presheaves and the yoneda lemma).
Introduction to Category Theory