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