Sheaf Topos Theory: A Powerful Setting for Lagrangian Field Theory | Not Hacker News!