中文

泛代数余广 varieties 的刻画

范畴论 2020-08-11 v1

摘要

余广范畴可定义为具有有限乘积的范畴 C\mathcal{C},使得对于 C\mathcal{C} 中每一对对象 X,YX,Y,典范函子 × ⁣:X/C×Y/C(X×Y)/C\times\colon X/\mathcal{C} \times Y/\mathcal{C} \to (X \times Y)/\mathcal{C} 是一个等价。我们给出了余广泛代数 varieties 的语法刻画。

关键词

引用

@article{arxiv.2008.03474,
  title  = {Characterization of coextensive varieties of universal algebras},
  author = {David Neal Broodryk},
  journal= {arXiv preprint arXiv:2008.03474},
  year   = {2020}
}