Hostname: page-component-74656f9884-8rzl6 Total loading time: 0 Render date: 2026-11-05T23:36:28.815Z Has data issue: false hasContentIssue false
  • English
  • Français

Algorithms for categorical equivalence

Published online by Cambridge University Press:  01 February 1998

CLIFFORD BERGMAN  and
JOEL BERMAN
CLIFFORD BERGMAN
Affiliation:
Department of Mathematics, Iowa State University, Ames, Iowa 50011–2066 USA. Email: cbergman@@iastate.edu
JOEL BERMAN
Affiliation:
Department of Mathematics, Statistics, and Computer Science, University of Illinois at Chicago, 851 S. Morgan (m/c 249), Chicago, Illinois 60607–7045 USA. Email: jberman@@uic.edu
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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.

Information

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 8 , Issue 1 , February 1998 , pp. 1 - 15
Copyright
1998 Cambridge University Press