pullbacks and a terminal object by the last proposition). Here a category C is said to have all finite limits if every finite diagram D : J →. C has a limit in ...
確定！ 回上一頁
