Purchase Solution

Category Theory - Morphisms, Uniqueness & Equivalence

Not what you're looking for?

Ask Custom Question

If f:A-->B is an equivalence in a category C and g:B-->A is a morphism such that gf=1_A (the identity on A) and fg=1_B, show that g is unique.

Prove that any two universal (initial) objects in a category C are equivalent.

Prove that any two couniversal (terminal) objects in a category C are equivalent.

In the category of abelian groups, show that the group A_1 x A_2 together with the homomorphisms f:A_1 --> A_1 x A_2, f(x)=(x,e) and g:A_2 --> A_1 x A_2, g(x)=(e,x) is a coproduct for {A_1,A_2}. Why is this not a coproduct in the category of groups?

Purchase this Solution

Solution Summary

Category equivalence is investigated.

Purchase this Solution


Free BrainMass Quizzes
Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Know Your Linear Equations

Each question is a choice-summary multiple choice question that will present you with a linear equation and then make 4 statements about that equation. You must determine which of the 4 statements are true (if any) in regards to the equation.

Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.

Probability Quiz

Some questions on probability

Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts