We glue along the hom-functor C(I,−) to obtain our first glued category. Definition 4 Given the category C define GC to be the category ...
確定! 回上一頁