fixed href to lurie:higher-topoi
Merge pull request #737 from konradvoelkel/master

fixed href to lurie:higher-topoi