Show that a contravariant functor takes morphisms that admit left inverses to morphisms that admit right inverses and vice versa.© BrainMass Inc. brainmass.com March 21, 2019, 10:43 pm ad1c9bdddf
I'm attaching the proof in .docx and .pdf formats.
Definition. Let C and D be categories. A contravariant functor F : C -> D is a mapping that
(1) associates to each object X element of C an object F(X) element of D
(2) associates to each morphism f: X -> Y in C a morphism F(f) : F(Y) -> F(X) in D such that F(id_x) = id_F(X) and F(please see the attached file).
Show that a contravariant functor takes ...
This solution characterizes a contravariant functor.