text: Если категория C {\displaystyle C} полна в малом, то для любой малой категории A {\displaystyle A} любой функтор F : A → C {\displaystyle F\colon A\to C} имеет правое расширение Кана R a n K F {\displaystyle \mathrm {Ran} _{K}F} по любому функтору K : A → B {\displaystyle K\colon A\to B} , причём любое такое расширение Кана является поточечным.