We write t for the inclusion functor from PTT") to P. Since P is bi-Cartesian, ... P bi-CCC (1, X,0, +, =) Pop C bi-CCC (1, 286 S. Katsumata Full Reflective ...
確定! 回上一頁