2-Category

• A category with:
  • Objects
  • 1-morphisms (arrows between objects)
  • 2-morphisms (morphisms between morphisms)

Examples:

• $\mathbf{Cat}$: categories, functors, natural transformations

Vertical and horizontal composition of 2-morphisms.