We show that this pretrace construction determines a finiteproduct preserving endofunctor of the category of small categories, and we deduce from this that ...
確定! 回上一頁