Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Namely, for every functor $F$, is $(F, (A_0, A_1)\mapsto[F(\iota_0(A_0, A_1)), F(\iota_1(A_0, A_1))])$ monoidal? (For reference, $\iota_i(A_0, A_1):A_i\to A_0+A_1$ is an injection of the categorical sum $A_0+A_1$.)

share|improve this question
add comment

1 Answer

If by "categorical sum" you mean "coproduct" and by "monoidal" you mean "lax monoidal", the answer is "yes".

Let's denote

$$ \iota_A : A \longrightarrow A \sqcup B \longleftarrow B : \iota_B $$

the natural arrows. Applying any functor $F$ to the diagram above, we get

$$ F\iota_A : FA \longrightarrow F(A \sqcup B) \longleftarrow FB : F\iota_B \ . $$

But we also have the same diagram for the coproduct of $FA$ and $FB$:

$$ \iota_{FA} : FA \longrightarrow FA \sqcup FB \longleftarrow FB : \iota_{FB} $$

Hence, by the universal property of the coproduct, morphisms $F\iota_A$ and $F\iota_B$ induce a unique arrow

$$ FA \sqcup FB \longrightarrow F(A\sqcup B ) \ . $$

share|improve this answer
    
Sorry, Agustí, you just repeated my construction. You did not prove axioms of monoidal functor. –  beroal Sep 21 '11 at 9:35
    
All the axioms should follow from the uniqueness of the arrow. –  a.r. Sep 21 '11 at 12:13
    
This is your proof? Ha-ha-ha. Низачот. –  beroal Sep 30 '11 at 8:07
    
Sorry you didn't like it. Sure enough you'll be able to do better. –  a.r. Sep 30 '11 at 10:00
    
I have to correct my former statement: "All the axioms should follow from the uniqueness of the arrow" [$FA\sqcup FB \rightarrow F(A\sqcup B)$]. I'm afraid it was ambiguous. I should have said: "All the axioms follow from the uniqueness of the arrow." Hope it is more clear now. –  a.r. Sep 30 '11 at 18:23
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.