Category equivalence preserves unification type

Algebra Universalis

Volumn 36, Issue 4, 1996, Pages 457-466

  Albert, M H ^a  

^a UNIVERSITY OF OTAGO   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030460687     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01233916     Document Type: Article

References (9)

1. ALBERT, M. H. and LAWRENCE, J., Unification in varieties of groups I: nilpotent groups. Canadian Journal of Mathematics, 46 (1994), 1135-1149.
2. ALBERT, M. H. and WILLARD, R., Unification in locally finite varieties, preprint 1992.
3. BURRIS, S. and SANKAPPANAVAR, H. P., A Course in Universal Algebra, Springer-Verlag, New York, 1981.
4. NIPKOW, T., Unification in primal algebras, their powers and their varieties, J.A.C.M., 37 (1990), 742-776.
5. MACLANE, S., Categories for the Working Mathematician, Springer-Verlag, New York, 1971.
6. McKENZIE, R., Algebraic Morita theorem for varieties, preprint, August 1992.
7. McKENZIE, R., McNULTY, G. and TAYLOR, W., Algebras, Lattices, Varieties, Wadsworth/Brooks- Cole, Monterrey, 1987.
8. SIEKMANN, J., Unification theory, J. Symbolic Computation, 7 (1989), 207-274.
9. TAYLOR, W., The fine spectrum of a variety, Algebra Universalis, 5 (1975), 263-303.