Let C be a category. We say that C has S -limits if, for all categories I ∈ S and functors F : I→C, there is a limit cone over F in C.
確定！ 回上一頁
