Types of category arrows/Diagram

From Maths
Jump to: navigation, search

Diagram showing how terms for arrows in a category relate

References:

[ilmath]\xymatrix{ & \text{Arrow} \\ \text{Monic} \ar@{^{(}->}[ur] & & \text{Epic} \ar@{^{(}->}[ul] \\ & \text{Bimorphism} \ar@{^{(}->}[ur] \ar@<-0.5ex>@{^{(}->}[ul] \\ {\begin{array}{c}\text{Section}\\ \text{(Split monic)} \end{array} } \ar@{^{(}->}[uu] & & {\begin{array}{c}\text{Retraction}\\ \text{(Split epic)} \end{array} } \ar@<-0.75ex>@{^{(}->}[uu] \\ & \text{Isomorphism} \ar@{^{(}->}[ur] \ar@<-0.5ex>@{^{(}->}[ul] \ar@{^{(}->}[uu] }[/ilmath]


TODO: Can diagram be any neater?



TODO: References


References