nLab
horizontal composition - SVG

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

Created on December 4, 2010 at 22:07:17. See the history of this page for a list of all contributions to it.