Derived from courses the author taught at Harvard and Johns Hopkins, this original book introduces the concepts of category theory ― categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctive, monads ― and other topics, revisiting a broad range of mathematical examples from the categorical perspective. Basic set theory and logic are the only prerequisites.