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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have