Category Theory for beginners (4)

Categories
Post Reply
Tsakanikas Nickos
Community Team
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

Category Theory for beginners (4)

#1

Post by Tsakanikas Nickos »

Note: The terms "monic,epic,section,retraction" used in the post "Category Theory For Beginners - 2" and the terms "monomorphism,epimorphism,split monomorphism,split epimorphism" used in this one are respectively equivalent.



Let \( \mathcal{C} \) be a category. Show that

  1. An isomorphism is a monomorphism and an epimorphism. Show that the inverse is not true in arbitrary categories. However, show that a morphism is an isomorphism if and only if it is a split monomorphism and a split epimorphism.
  2. Let \( \displaystyle f : X \longrightarrow Y \) be a morphism in \( \mathcal{C} \). If \( \displaystyle \left( K, \phi \right) \) is the kernel of \( \displaystyle f \) and if \( \displaystyle \left( C, \psi \right) \) is the cokernel of \( \displaystyle f \) (assuming that both exist in \( \mathcal{C} \), show that \( \displaystyle \phi \) is a monomorphism and that \( \displaystyle \psi \) is an epimorphism.
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 2 guests