Fix a couple of issues with Lemma 7.5.12
unmarked errata for f46dfd8
Merge pull request #731 from mikeshulman/lemma7.5.12

Fix some problems with Lemma 7.5.12
Mark Errata (auto)
fixed href to lurie:higher-topoi
Merge pull request #737 from konradvoelkel/master

fixed href to lurie:higher-topoi
fixed subscript typo in definition of functor
added erratum for hom-typo in categories
Merge pull request #738 from benediktahrens/hom-typo

fixed subscript typo in definition of functor
erratum merge syntax
Mark Errata (auto)