Scifaro

中文

关于部分双射范畴

离散数学 2009-03-06 v1

作者: Emil Schwab

在 arXiv 上查看 ↗ PDF ↗

摘要

部分函数范畴因其在理论计算机科学中的应用而变得日益重要。本文证明了集合间部分双射构成的范畴是一个具有闭投影的逆-Baer*-范畴，并且其幂等分裂是一个正合范畴。最后，给出了该正合范畴的诺特同构定理。

关键词

部分双射逆-Baer*-范畴闭投影幂等分裂正合范畴诺特同构定理

引用

@article{arxiv.0903.1017,
  title  = {On the Category of Partial Bijections},
  author = {Emil Schwab},
  journal= {arXiv preprint arXiv:0903.1017},
  year   = {2009}
}

备注

8 pages, exposed on 2nd "European Conference on Computer Science & Applications" - XA2008, Timisoara, Romania