Theory of categories by Popescu