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.
Keywords and phrasesFormation monounary algebra unar category category equivalence endomorphism
Unable to display preview. Download preview PDF.
- 10.B. V. Popov, “Semigroups of endomorphisms of some unary algebras,” Vestn. Vostochnoukr. Gos. Univ. 5 (27), 19–23 (2000).Google Scholar
- 11.M. S. Tsalenko and E. G. Shulgeifer, Fundamentals of Category Theory (Nauka, Moscow, 1974) [in Russian].Google Scholar
- 14.S. V. Sirovatskaya, “On endomorphism semigroup of connected monounary algebras with one-element cycle,” Chebyshev. Sb. 14 (4), 188–195 (2013).Google Scholar