a is a pullback in 8, then %(P)ofl LY = II 6 0 G%'(y). E',-E. Definition. Suppose that C is a (small) category in a locally Cartesian closed category ...
確定! 回上一頁