A pointed set is a pair (S,x) with S a set and x S. A morphism

Question:

A pointed set is a pair (S,x) with S a set and x ϵ S. A morphism of pointed sets (S,x) → (S',x') is a triple (∫,x,x'), where ∫: S →S' is a function such that ∫(x) = x'. Show that pointed sets form a category.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: