Path objects are used to define a notion of right homotopy between morphisms in a category. Thus they capture aspects of higher category theory ...
確定! 回上一頁