Concepts of Category Theory Objects Morphisms Natural Transformations n-morphisms n-Category Adjoints Units Inverses Pullback Push forwards Functoriality Topos Homology Categorification