Víctor Dalmau, Right-adjoints of Datalog Programs
Room B332 IBS (기초과학연구원)We say that two functors Λ and Γ between thin categories of relational structures are adjoint if for all structures A and B, we have that Λ(A) maps homomorphically to B if and only if A maps homomorphically to Γ(B). If this is the case Λ is called the left adjoint to Γ and Γ …