共扩张的通用代数品种的特征化 II
摘要：具有有限积的范畴$ \mathcal{C} $可以被定义为这样一个范畴，对于$ \mathcal{C} $中的每对对象$ X $和$ Y $，规范函子$ \times :X/\mathcal{C} \times Y/\mathcal{C} \to (X \times Y)/\mathcal{C} $都是一个等价。我们给出了普适代数的共延类的句法表征。本文是预印版arXiv:2008.03474的更新版本。
作者：David Neal Broodryk
论文ID：2104.12188
分类：Category Theory
分类简称：math.CT
提交时间：2021-04-27