n-阿贝尔范畴在阿贝尔范畴中的表示
表示论
2020-10-01 v2 范畴论
摘要
设 为一个小的 -阿贝尔范畴。我们证明, 上的绝对纯群值函子范畴(记为 )是一个阿贝尔范畴,且 等价于 的一个完全子范畴,使得 -核与 -余核恰好是 中项属于 的正合序列。这给出了 -阿贝尔范畴的 Freyd-Mitchell 嵌入定理的高维版本。
引用
@article{arxiv.2001.01254,
title = {Representation of n-abelian categories in abelian categories},
author = {Ramin Ebrahimi and Alireza Nasr-Isfahani},
journal= {arXiv preprint arXiv:2001.01254},
year = {2020}
}