Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the des
Introduction to concepts of category theory — categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads — re
The aim of this book is to explain modern homotopy theory in a manner accessible to graduate students yet structured so that experts can skip over numerous line