Characterization of coextensive varieties of universal algebras
Category Theory
2020-08-11 v1
Abstract
A coextensive category can be defined as a category with finite products such that for each pair of objects in , the canonical functor is an equivalence. We give a syntactical characterization of coextensive varieties of universal algebras.
Keywords
Cite
@article{arxiv.2008.03474,
title = {Characterization of coextensive varieties of universal algebras},
author = {David Neal Broodryk},
journal= {arXiv preprint arXiv:2008.03474},
year = {2020}
}