MHB Category Theory - Initial and Final Objects

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Paolo Aluffi's book, Algebra: Chapter 0.

I am currently focused on Chapter I, Section 5: Universal Properties.

I need some help Example 5.3 and Exercise 5.2 in this section.
QUESTION 1Example 5.3 reads as follows:View attachment 4484

Can someone clearly explain why $$\emptyset$$ is initial ...

We need every set $$A$$ in the category Set to have exactly one morphism (set function):

$$\emptyset \rightarrow A$$

and Aluffi seems to be saying that the 'empty graph' ( an "empty or nothing function" ? ) is the unique function from $$\emptyset$$ to $$A$$ ... is that right ...?

It seems a highly contrived function (morphism) ... indeed, what is the empty graph exactly ... and how do we rigorously justify the assertion that it is actually a function ...

Can someone please explain clearly just what Aluffi is saying here ... ?
QUESTION 2

Exercise 5.2 in Chapter I, Section 5 reads as follows:View attachment 4485Can someone show me how to construct a rigorous and formal proof for this exercise ... ?Help will be much appreciated ...

PeterPeter
 
Last edited:
Physics news on Phys.org
Hi Peter,

It could be useful to remember that a function between two given sets $A, B$ is a subset of $A \times B$ (with some other properties, of course)
 
Peter,

I've given this explanation to you before (that $\emptyset$ is initial in Set), but it's been a while and it doesn't hurt to reiterate. ;) Let $A$ be a set. A morphism $\emptyset \to A$ is a relation from $\emptyset$ to $A$, i.e., a subset $R$ of $\emptyset \times A$ such that for every $x \in \emptyset$, there is a unique $a \in A$ such that $(x,a) \in R$. Now since $\emptyset \times A = \emptyset$, $R = \emptyset$. So there is only one morphism $\emptyset \to A$.

Now let $X$ be a set such that for every set $A$, there is exactly one morphism $X \to A$. Then in particular, there is only one moprhism $X \to \emptyset$. Every element of $X$ maps to only one element of $\emptyset$; this cannot happen unless $X = \emptyset$. There, $\emptyset$ is the unique initial object in Set.
 
Euge said:
Peter,

I've given this explanation to you before (that $\emptyset$ is initial in Set), but it's been a while and it doesn't hurt to reiterate. ;) Let $A$ be a set. A morphism $\emptyset \to A$ is a relation from $\emptyset$ to $A$, i.e., a subset $R$ of $\emptyset \times A$ such that for every $x \in \emptyset$, there is a unique $a \in A$ such that $(x,a) \in R$. Now since $\emptyset \times A = \emptyset$, $R = \emptyset$. So there is only one morphism $\emptyset \to A$.

Now let $X$ be a set such that for every set $A$, there is exactly one morphism $X \to A$. Then in particular, there is only one moprhism $X \to \emptyset$. Every element of $X$ maps to only one element of $\emptyset$; this cannot happen unless $X = \emptyset$. There, $\emptyset$ is the unique initial object in Set.
Thanks for for that post, Euge ... It is most helpful and clear ...

My apologies for forgetting the advice and help that you gave some time earlier ...

Peter

- - - Updated - - -

Fallen Angel said:
Hi Peter,

It could be useful to remember that a function between two given sets $A, B$ is a subset of $A \times B$ (with some other properties, of course)

indeed ... a helpful point that is essentially the clue to the situation ... Thanks Fallen Angel ..

Peter
 
Back
Top