Tarek Sayed Ahmed
Abstract
Open-access reader
We view the neat reduct operator as a functor that lessens dimensions from CA_{α+ω} to CA_α for infinite ordinals α. We show that this functor has no right adjoint. Conversely for polyadic algebras, and several reducts thereof, like Sain's algebras, we show that the analagous functor is an equivalence.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
We view the neat reduct operator as a functor that lessens dimensions from CA_{α+ω} to CA_α for infinite ordinals α. We show that this functor has no right adjoint. Conversely for polyadic algebras, and several reducts thereof, like Sain's algebras, we show that the analagous functor is an equivalence.
Key concepts: Functor, Equivalence (formal languages), Reduct, Mathematics, Pure mathematics, Alpha (finance), Omega, Algebra over a field