关于正 opetope 的一种类偏序关系的做法
组合数学
2024-09-05 v1
摘要
我们在本文中引入了一种新的正 opetope 形式化，其中面以偏序关系组织。然后我们证明了我们的方法等价于 Marek Zawadowski 所给出的正 opetope 定义。
关键词
引用
@article{arxiv.2405.17948,
title = {A poset-like approach to positive opetopes},
author = {Louise Leclerc},
journal= {arXiv preprint arXiv:2405.17948},
year = {2024}
}