Category: theory of practice