since the forgetful functor Sh ( C , J ) / ( U ) → Sh ( C , J ) preserves and ... Example 2.2.19 Let C be a small cartesian category , and Reg ( C ) the ...
確定! 回上一頁