Functors on relational structures which admit both left and right adjoints
arxiv(2023)
摘要
This paper describes several cases of adjunction in the homomorphism preorder
of relational structures. We say that two functors Λ and Γ
between thin categories of relational structures are adjoint if for all
structures 𝐀 and 𝐁, we have that Λ(𝐀) maps
homomorphically to 𝐁 if and only if 𝐀 maps homomorphically
to Γ(𝐁). If this is the case, Λ is called the left
adjoint to Γ and Γ the right adjoint to Λ. In 2015,
Foniok and Tardif described some functors on the category of digraphs that
allow both left and right adjoints. The main contribution of Foniok and Tardif
is a construction of right adjoints to some of the functors identified as right
adjoints by Pultr in 1970. We generalise results of Foniok and Tardif to
arbitrary relational structures, and coincidently, we also provide more right
adjoints on digraphs, and since these constructions are connected to finite
duality, we also provide a new construction of duals to trees. Our results are
inspired by an application in promise constraint satisfaction – it has been
shown that such functors can be used as efficient reductions between these
problems.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要