Notation 3.1. We will write
for the internal hom bifunctor in (relative to its cartesian symmetric monoidal structure).
Notation 3.1. We will write
for the internal hom bifunctor in (relative to its cartesian symmetric monoidal structure).
Original source: arXiv:1510.02402v1