MyWikiBiz

Changes

Directory:Jon Awbrey/Papers/Propositions As Types (view source)

Revision as of 13:46, 27 March 2009

45 bytes added ,  13:46, 27 March 2009
→‎Natural Transformation: indent diagram
Line 2,328: Line 2,328:  
<pre>
 
<pre>
   −
            t(A)
+
                  t(A)
−
F(A) o------------------>o G(A)
+
    F(A) o------------------>o G(A)
−
    |                  |
+
          |                  |
−
    |                  |
+
          |                  |
−
F(f) |                  | G(f)
+
    F(f) |                  | G(f)
−
    |                  |
+
          |                  |
−
    v                  v
+
          v                  v
−
F(B) o------------------>o G(B)
+
    F(B) o------------------>o G(B)
−
            t(B)
+
                  t(B)
    
</pre>
 
</pre>
Jon Awbrey
12,140

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/83160"