ScalingStacks

0MWG

Notation 3.1. We will write

hom¯​(−,−)=hom¯s​𝒮​et​(−,−):(s​𝒮​et)o​p×s​𝒮​et→s​𝒮​et\underline{\hom}(-,-)=\underline{\hom}_{s{\mathcal{S}\textup{et}}}(-,-):(s{\mathcal{S}\textup{et}})^{op}\times s{\mathcal{S}\textup{et}}\rightarrow s{\mathcal{S}\textup{et}}

for the internal hom bifunctor in s​𝒮​ets{\mathcal{S}\textup{et}} (relative to its cartesian symmetric monoidal structure).

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Aaron Mazel-Gee

Original source: arXiv:1510.02402v1