Seol mar théacs é seo: Abstract Interpretation‚ Logical Relations and Kan Extensions