User:Maxsu/Sandbox

My sandbox!

Commutative Diagrams & Sequents
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}$

Sequents - I'd like to find out if we can include Gentzen style deductions in the articles.


 * Too much like hard work. We have the style of natural deduction proofs as in the existing pages (for which you are encouraged to hunt) but there is little point in recreating all these proofs purely to illustrate a notation / diagram style. --prime mover (talk) 05:17, 15 October 2012 (UTC)