Category theory: functors, fibrations, 2-categories, composition, pullbacks, abstraction as higher morphisms