Abstract

A formation is a class of algebras that is closed under homomorphic images and finite subdirect products. Every formation can be considered as a category. We prove that two formations of monounary algebras with finitely many cycles are equivalent as categories if and only if they coincide.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call