Revision #745 → #1094 · back to history
addedCommutative diagramf219a6c581a5
addedParts of a commutative diagramc86ee55c7b93
addedMonomorphism arrowfabb34f136a8
addedEpimorphism arrow3e71d561d6a4
addedIsomorphism arrow843fdf40e4e6
addedDashed arrow (existence)af33e38c7fc1
addedNatural transformation arrow4d312840ea02
addedCommutativity of polygonal subdiagramse21c5e305590
addedFirst isomorphism theorem diagramea31819859ff
addedThree equalities diagrame44bf4be1631
addedDiagram chasinga0b3de8f111a
addedDiagram chasing lemmas2166ed4d901b
addedCat as a 2-categorye2d6810751da
addedVertical and horizontal composition in a 2-categoryed423967669a
addedDiagram as a functorb6ae6adfdd4c
addedCommutative diagram from poset category113827efd696
addedPoset category from commutative diagramd25a3b4b9a45
addedNon-commuting diagrams (free quiver)ef41f65e79b3