functor, i, finds the objects and arrows in N1 that correspond to those in N0. Now, we define an expansion functor, e, as the one that finds the minimally ...
確定! 回上一頁