pith. sign in

arxiv: 1304.0714 · v1 · pith:K3OTKCCVnew · submitted 2013-04-02 · 🧮 math.LO

Neat embeddings as adjoint situations

classification 🧮 math.LO
keywords alphafunctoradjointalgebrasneatanalagousconverselydimensions
0
0 comments X
read the original abstract

We view the neat reduct operator as a functor that lessens dimensions from CA_{\alpha+\omega} to CA_{\alpha} for infinite ordinals \alpha. 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.