One of the central highlights of this work is the exploration of the Yoneda lemma and its profound implications, during which intuitive explanations are provided, as well as detailed proofs, and specific examples. This book covers aspects of category theory often considered advanced in a clear and intuitive way, with rigorous mathematical proofs. It investigates universal properties, coherence, the relationship between categories and graphs, and treats monads and comonads on an equal footing, providing theorems, interpretations and concrete examples. Finally, this text contains an...