Anfonwch hwn fel neges destun: Abstract Interpretation‚ Logical Relations and Kan Extensions