(b) Let [F] be the constant functor [F]: 1 → C. Then the limit lim. ←−. F of F is a terminal object of the comma category (∆ ↓ [F]).
確定! 回上一頁