Correct compatibility rule

Correct compatibility rule in post about smooth infinitesimal analysis
Merge pull request #1 from timjb/patch-1

Correct compatibility rule