Roughly speaking, category theory is the study of the general form, that is, categories of mathematical theories, without regard to their content.
Velmi stručně, teorie kategorií studuje všeobecnou formu matematických teorií bez ohledu na jejich obsah.