Prefer a chat interface with context about you and your work?
Classical Field Theory via Cohesive Homotopy Types