The Left and Right Homotopy Relations We Recall That a Coproduct of Two

The Left and Right Homotopy Relations We Recall That a Coproduct of Two

The left and right homotopy relations We recall that a coproduct of two objects A and B in a category C is an object A q B together with two maps in1 : A → A q B and in2 : B → A q B such that, for every pair of maps f : A → C and g : B → C, there exists a unique map f + g : A q B → C 0 such that f = (f + g) ◦ in1 and g = (f + g) ◦ in2. If both A q B and A q B 0 0 0 are coproducts of A and B, then the maps in1 + in2 : A q B → A q B and 0 in1 + in2 : A q B → A q B are isomorphisms and each others inverses. The map ∇ = id + id: A q A → A is called the fold map. Dually, a product of two objects A and B in a category C is an object A × B together with two maps pr1 : A × B → A and pr2 : A × B → B such that, for every pair of maps f : C → A and g : C → B, there exists a unique map (f, g): C → A × B 0 such that f = pr1 ◦(f, g) and g = pr2 ◦(f, g). If both A × B and A × B 0 are products of A and B, then the maps (pr1, pr2): A × B → A × B and 0 0 0 (pr1, pr2): A × B → A × B are isomorphisms and each others inverses. The map ∆ = (id, id): A → A × A is called the diagonal map. Definition Let C be a model category, and let f : A → B and g : A → B be two maps. A cylinder object for A is a commutative diagram Cyl(A) 9 0 1 t GG d +d ttt GGσ tt ∼ GG tt GG t9 t ∇ # A q A / A, and a left homotopy from f to g is a commutative diagram Cyl(A) 9 0 1 s GG d +d ss GG h ss GG ss GG s9 s f+g G# A q A / B. If a left homotopy from f to g exists, we say that f and g are left homotopic and write f∼` g. Dually, a path object for B is a commutative diagram Path(B) w; KK s ww KKK(d0,d1) ww∼ KK ww KKK% ww ∆ % B / B × B, 1 and a right homotopy from f to g is a commutative diagram Path(B) ; w LL (d ,d ) k ww LL 0 1 ww LLL ww LL ww (f,g) L% % A / B × B. If a right homotopy from f to g exists, we say that f and g are right homotopic and write f∼r g. If both a left and a right homotopy from f to g exist, we say that f and g are homotopic and write f ∼ g. ` r The homotopy relations ∼, ∼, and ∼ are relations on the set HomC(A, B) of maps from A to B in C. But, in general, they are not equivalence relations. ` r We write HomC(A, B)/∼, HomC(A, B)/∼, and HomC(A, B)/ ∼ for the sets of equivalence classes for the equivalence relations on the set HomC(A, B) gener- ated by the relations ∼` , ∼r , and ∼, respectively. 2.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    2 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us