What is the spirit of the cylindric paradigm, as opposed to that of the polyadic one?

2013/03/29 by Ahmed, Tarek Sayed
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1303.7386

Abstract

We give a categorial definition separating cylindric-like algebras from polyadic-like ones. Viewing the neat reduct operator as a functor, we show that it does not have a right adjoint in the former case, but it is strongly invertible in the second case. Several new results on amalgamation, and non finite axiomatizability are presented for both paradigms. A hitherto categorial equivalence is also given between relation algebras with quasi-projections and Nemeti's directed cylindric algebras for any dimension.

Related

• Cylindric and polyadic algebras, new perspectives
• Characterizing amalgmation bases for relation, cylindric and polyadic\n algebras
• Quasi-projective relation algebras and directed cylindric algebras are categorially equivalent
• Various interplays between relation and cylindric algebras
• Amalgamation, interpolation and congruence extension properties in\n topological cylindric algebras