关于黏合范畴与拟黏合范畴的公理
范畴论
2012-05-09 v2
摘要
一个范畴是黏合的，如果它具有所有拉回、所有沿单态射的推出，以及所有在拓扑斯中成立的沿单态射的拉回与推出之间的正合性条件。该条件可以通过仅考虑沿正则单态射的推出，或仅要求拟拓扑斯中成立的正合性条件来修改。我们证明了四个关于黏合范畴及其变体的刻画定理。
引用
@article{arxiv.1108.2934,
title = {On the axioms for adhesive and quasiadhesive categories},
author = {Richard Garner and Stephen Lack},
journal= {arXiv preprint arXiv:1108.2934},
year = {2012}
}
备注
20 pages; v2 final version, contains more details in some proofs