On Categorical Equivalence Between Formations of Monounary Algebras

详细

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.