User:Maxsu/Sandbox

My sandbox!

Commutative Diagrams & Sequents (oh my)
Diagram example (taken from Split Monomorphism is Monic


 * $\begin{xy}

<-4em,0em>*+{B} = "B", <0em,0em> *+{C} = "C", <4em,0em> *+{D} = "D", <4em,-4em>*+{C} = "C2",

"B"+/r.5em/+/^.25em/;"C"+/l.5em/+/^.25em/ **@{-} ?>*@{>} ?*!/_.6em/{x}, "B"+/r.5em/+/_.25em/;"C"+/l.5em/+/_.25em/ **@{-} ?>*@{>} ?*!/^.6em/{y},

"C";"D" **@{-} ?>*@{>} ?*!/_.6em/{f}, "C";"C2" **@{-} ?>*@{>} ?*!/^.6em/{\operatorname{id}_C}, "D";"C2" **@{-} ?>*@{>} ?*!/_.6em/{g}, \end{xy}$