Observation 2.6. Because is connected, this tangent classifier is symmetric monoidal with respect to coproducts in the codomain. In other words, carries finite disjoint unions to finite coproducts over .
Original source: arXiv:1206.5522v6
Observation 2.6. Because is connected, this tangent classifier is symmetric monoidal with respect to coproducts in the codomain. In other words, carries finite disjoint unions to finite coproducts over .
Original source: arXiv:1206.5522v6