关于局部有限可表现范畴的余切片与逗号范畴
范畴论
2021-04-15 v1
摘要
我们显式刻画了局部有限可表现范畴在给定对象下的余切片中有限可表现对象的生成元，它由该对象下所有有限可表现映射的推出组成。随后我们证明局部有限可表现范畴态射的直接像部分下的逗号范畴仍是局部有限可表现的，并再次显式给出其有限可表现对象的生成元。我们最终推得2-范畴具有在中计算的逗号对象。
引用
@article{arxiv.2104.06537,
title = {On coslices and commas of locally finitely presentable categories},
author = {Axel Osmond},
journal= {arXiv preprint arXiv:2104.06537},
year = {2021}
}
备注
27 pages