Characterization of coextensive varieties of universal algebras II

David Neal Broodryk

Characterization of coextensive varieties of universal algebras II

Category Theory 2021-04-27 v1

Authors: David Neal Broodryk

Abstract

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

Keywords

coextensive category universal algebra variety finite products syntactical characterization

Cite

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

Comments

This paper is an updated version of the pre-print arXiv:2008.03474

Characterization of coextensive varieties of universal algebras II

Abstract

Keywords

Cite

Comments

Related papers