Examples of category-theoretic statements which require choice include: Every small category has a skeleton.
Међу примерима исказа теорије категорија који захтевају избор су: Свака мала категорија има скелет.