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.

Exercise $26C$ of Herrlich & Strecker Category theory asks to show the following:

Show that every set has a universal map with respect to the "squaring functor".

Recall that a universal map with respect to an object $B\in \mathcal B$ and a functor $F:\mathcal A\rightarrow \mathcal B$ is a pair $(\eta_B,A_B)$ where $\eta_B:B\rightarrow F(A_B)$ and $A_B$ is an object of $\mathcal A$ such that for any object $A'$ of $\mathcal A$ and any morphism $f:B\rightarrow F(A')$, there exists a unique $\overline{f}:A_B\rightarrow A$ such that $f=F(\overline{f})\circ \eta_B$.

The squaring functor, $()^2:$Set$\rightarrow$ Set, is defined by $(A)^2=A\times A$ and $(f)^2=f\times f$.

I tried to do this with $A_B=B$ and $\eta_B:B\rightarrow B\times B$ given by $\eta_B(b)=(b,b)$, where $B$ is any set, but with no success.

I would like to get hints to prove this exercise.

Thanks

share|improve this question
add comment

1 Answer 1

up vote 3 down vote accepted

Hint: Try to understand what happens in the case where B is a singleton.

Answer: You should take $A_B=B\sqcup B$ and $\eta_B(b)=((b,1),(b,2))$.

Let X be a set, $f\colon B\to X\times X$ - mapping, such that $f(b)=(f_1(b),f_2(b))$. Then $\overline f\colon B\sqcup B\to X$ defined by $\overline f(b,i)=f_i(b)$ for $i=1,2$. It's easy to check that $(\overline f\times\overline f)\circ\eta_B=f$ and $\overline f$ is a unique map with this property.

Actually, it works in arbitrary category with finite products and coproducts. The main idea is that two morphisms $f_1,f_2\colon a\to b$ determine morphism $a\to b\times b$ as well as morphism $a\sqcup a\to b$.

share|improve this answer
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.