Field Theory via Higher Geometry II: Thickened Smooth Sets as Synthetic Foundations - Grigorios Giotopoulos; Hisham Sati (2025)