nLab
horizontal composition - SVG

Layer 1 A A α \Downarrow\mathrlap{\alpha} B B β \Downarrow\mathrlap{\beta} C C \mapsto A A β α \Downarrow\beta\circ\alpha C C F 1 F_1 F 2 F_2 G 1 G_1 G 2 G_2 F 2 F 1 F_2\circ F_1 G 2 G 1 G_2\circ G_1
category: svg

Last revised on April 28, 2020 at 01:53:37. See the history of this page for a list of all contributions to it.