and for a closure functor Hom such that Hom (A, B), the (n-m)-fold categ- ory of «generalized natural transformations », is the set of multiple functors.
確定! 回上一頁