Remark 4.11.
We may think of this result as a categorification of the isomorphism \(\Hom_{\CRing}(\Z[S],R) \cong \Hom_{\Set}(S,R)\) for every set \(S\) and every commutative ring \(R\).
Higher Topos Theory Section 4.2: Presentations of logoi
Remark 4.11.
We may think of this result as a categorification of the isomorphism \(\Hom_{\CRing}(\Z[S],R) \cong \Hom_{\Set}(S,R)\) for every set \(S\) and every commutative ring \(R\).