# Commit 2020-10-02 18:01 2634c1b5

View on Github →feat(category_theory/cones): map_cone_inv as an equivalence (#4253)
When `G`

is an equivalence, we have `G.map_cone_inv : cone (F ⋙ G) → cone F`

, and that this is an inverse to `G.map_cone`

, but not quite that these constitute an equivalence of categories. This PR fixes that.