论有限生成自由群的范畴
范畴论
2016-09-22 v1 几何拓扑
摘要
众所周知，有限生成自由群范畴F的对偶范畴F^{op}是群的Lawvere理论，且F是交换Hopf monoid上的自由对称幺半范畴，换言之，是交换Hopf代数的PROP。本文在不使用Lawvere理论的情况下，给出了后一事实的直接、组合证明。
引用
@article{arxiv.1609.06599,
title = {On the category of finitely generated free groups},
author = {Kazuo Habiro},
journal= {arXiv preprint arXiv:1609.06599},
year = {2016}
}
备注
13 pages, no figures