| 1. | On homotopy regular morphisms and covering spaces
关于同伦正则态射与覆叠空间 |
| 2. | 6 maclane s . categories for the working mathematician
恒等态射对应的类型是幺元类型u 。 |
| 3. | On structure of nef - value morphisms of projective varieties
值态射的结构 |
| 4. | On uniqueness of the solution of a morphism equation
态射方程解的惟一性 |
| 5. | Frobenius morphisms and fixed - point algebra of the dual extension algebras
态射和固定点代数 |
| 6. | On covering homotopy regular morphisms
关于覆叠同伦正则态射 |
| 7. | A note on homotopy regular morphisms
同伦正则态射的注记 |
| 8. | On homology regular morphisms
关于同调正则态射 |
| 9. | 2 petri c a . kommunikation mit automaten dissertation . darmstadt , 1962
当两个态射组合时，它们的类型也相应地组合。 |
| 10. | 5 arbib m a , manes e g . arrows , structures , and functors - the categorical imperative
正像态射的组合满足结合律一样，类型的组合也满足结合律。 |
