论文标题
通用代数的共生品种的表征
Characterization of coextensive varieties of universal algebras
论文作者
论文摘要
可以将共生类别定义为具有有限产品的类别$ \ Mathcal {C} $，以便每对$ x，y $ y Mathcal {c} $，canonical functor $ \ times $ \ times \ colon x/\ colon x/\ mathcal x/\ mathcal {c} c} \ times y/\ times y/\ mathcal {c} c} c} y）/\ Mathcal {C} $是等价。我们给出了普遍代数的共生品种的句法表征。
A coextensive category can be defined as a category $\mathcal{C}$ with finite products such that for each pair $X,Y$ of objects in $\mathcal{C}$, the canonical functor $\times\colon X/\mathcal{C} \times Y/\mathcal{C} \to (X \times Y)/\mathcal{C}$ is an equivalence. We give a syntactical characterization of coextensive varieties of universal algebras.
