graph RL
    Y((Y)) -- f --> A((A))
    A -- i --> A
    Y -- i∘f --> A
    A -- g∘i --> X
    A -- g --> X((X))