Neat embeddings as adjoint situations
Logic
2013-04-03 v1
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.
Keywords
Cite
@article{arxiv.1304.0714,
title = {Neat embeddings as adjoint situations},
author = {Tarek Sayed Ahmed},
journal= {arXiv preprint arXiv:1304.0714},
year = {2013}
}
Comments
arXiv admin note: substantial text overlap with arXiv:1303.7386