18.11.2012 Views

Symmetric Monoidal Categories for Operads - Index of

Symmetric Monoidal Categories for Operads - Index of

Symmetric Monoidal Categories for Operads - Index of

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

274 18 Shifted Modules over <strong>Operads</strong> and Functors<br />

S S ⊕ U ⊕ V<br />

T T ⊕ V<br />

C D.<br />

The morphisms d0,d1 : S ⊕ U ⊕ V ⇒ T ⊕ V are the identity on V .The<br />

summand U is mapped into V by the morphism d0, intoT by the morphism<br />

d1. Accordingly, we have a commutative square<br />

d0<br />

U d1<br />

C<br />

V D.<br />

By an easy inspection <strong>of</strong> the categorical constructions, we check that this<br />

square <strong>for</strong>ms a pushout and the lemma follows. ⊓⊔<br />

18.2.6 Iterated Pushout-Products. Let T0 = X, T1 = Y .Toimprove<br />

the result <strong>of</strong> lemma 18.2.5 we use the cubical diagram <strong>for</strong>med by the tensor<br />

products Tɛ1 ⊗···⊗Tɛn on vertices and the morphisms<br />

Tɛ1 ⊗···⊗T0 ⊗···⊗Tɛn<br />

Tɛ 1 ⊗···⊗i⊗···⊗Tɛn<br />

−−−−−−−−−−−−→ Tɛ1 ⊗···⊗T1 ⊗···⊗Tɛn<br />

on edges. The terminal vertex <strong>of</strong> the cube is associated to the tensor power<br />

Tn(Y/X)=T1 ⊗···⊗T1 = Y ⊗n .<br />

The latching morphism λ : Ln(Y/X) → Tn(Y/X) associated to the diagram<br />

Tɛ1 ⊗···⊗Tɛn is the canonical morphism from the colimit<br />

Ln(Y/X) = colim<br />

(ɛ1,...,ɛn)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!