0 -morphism 405, 406. 1-morphism 395, 397, 405–407. 2-morphism 395, 400, 403. 2-product 402. – split 403. Σ1. 1 equivalence relation 157, 158, 160, 162.
確定! 回上一頁