@inproceedings{CLIFFORDBERGMA1996AlgorithmsFC,
title={Algorithms for categorical equivalence},
author={N CLIFFORDBERGMA and M JOELBER},
year={1996}
}

C L I F F O R D B E R G M A N, J O E L B E R M

Published 1996

This paper provides an algorithm that, given two finite algebras A and B each of arbitrary finite similarity type, determines whether or not A and B are categorically equivalent. Although the algorithm is not practical in general, we consider some conditions on the algebras that improve its performance. There are several natural equivalence relations that can be imposed upon the space of algebraic structures. At one extreme is isomorphism of algebras. But other relations, such as elementary… CONTINUE READING