I’m working on the next local systems post, which will be about connections on vector bundles. It’s getting really long though. So, a question for my audience: Should I
(1) Assume you have already seen the definition of a connection, and of integrability (also known as flatness, also known as zero curvature) and skip directly to relating this concept to the other ideas I have discussed?
(2) Build connections from scratch, with motivation and definitions?
Don’t you wish every election featured such great choices? Ralph Nader would just go home and take up knitting!