用于研究上同伦意义下交换性的计算机代数系统
代数拓扑
2021-02-16 v1 数学软件
摘要
Python 包 ComCH 是一个轻量级专用计算机代数系统，为著名对象——参数化在导出意义下交换的代数之乘积结构的满射 operad 与 Barratt-Eccles operad——提供模型。ComCH 处理的主要此类代数例子是空间的上链复形，为此它提供了在所有素数下 Steenrod 上同调运算的有效构造。
引用
@article{arxiv.2102.07670,
title = {A computer algebra system for the study of commutativity up-to-coherent homotopies},
author = {Anibal M. Medina-Mardones},
journal= {arXiv preprint arXiv:2102.07670},
year = {2021}
}