圏論初等徒然11 極限・余極限の関手性

命題
すべての に極限があるなら、
関手 が考えられる。
　
（コメント）
私の日本語は奥歯にものがはさまったような言い方である。
原文は「a functor」とあり、補足説明に 「a limit」を「the limit」にするためには
なんらかの選択が必要である、とある。

　
元ネタ：Emily Riehl : Category theory in context