Cut Elimination in Categories
Cut Elimination in Categories
复制标题
类别中的削减消除
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
K. Dosen
中科院分区：
文献类型：
--
作者：
K. Dosen
前言。介绍。 1. 类别。 2.函子。 3.自然转变。 4. 附加物。 5. 共生体。 6.笛卡尔范畴。结论。参考。指数。
Preface. Introduction. 1. Categories. 2. Functors. 3. Natural Transformations. 4. Adjunctions. 5. Comonads. 6. Cartesian Categories. Conclusion. References. Index.