Coextensive varieties via Central Elements

Characterization of coextensive varieties of universal algebras

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.

Characterization of coextensive varieties of universal algebras II

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. This paper is an updated version of the pre-print arXiv:2008.03474

从共延展变种到Gaeta位面

From coextensive varieties to the Gaeta topos

本文研究了共延展变种中中心元素的函子性质，并证明在特定条件下Gaeta位面可分类无中心模型。

非交换张量-三角支撑品种的正式扩展

Formal extension of noncommutative tensor-triangular support varieties

本文提出非交换张量-三角支撑品种的扩展理论，证明在特定条件下扩展支撑理论能检测零对象，验证了相关猜想。