伪代数与非规范同构
范畴论
2019-02-05 v4
摘要
给定一个伪幺半 T,我们证明伪代数之间的 lax T-态射是 T-伪态射,当且仅当存在一个合适的(可能是非规范的)可逆 T-变换。该结果包含了若干关于非规范同构的结果,包括 Lack 关于辫幺半范畴之间的正规幺半函子的结果,因为它可应用于任何伪代数的 2-范畴,例如幺半范畴、余完备范畴、伪函子等 2-范畴。
引用
@article{arxiv.1711.02051,
title = {Pseudoalgebras and non-canonical isomorphisms},
author = {Fernando Lucatelli Nunes},
journal= {arXiv preprint arXiv:1711.02051},
year = {2019}
}
备注
Added coherence axioms, Corrected typos, 10 pages