Что такое категории? (Теория категорий)

Введение в понятие категорий из теории категорий. Описывается мотивация, неформальная идея и формальное определение.