12,180
edits
Changes
MyWikiBiz, Author Your Legacy — Friday December 19, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 13:46, 27 March 2009
, 13:46, 27 March 2009→Natural Transformation: indent diagram
<pre>
<pre>
t(A)
F(A) o------------------>o G(A)
F(A) o------------------>o G(A)
| |
| |
F(f) | | G(f)
F(f) | | G(f)
| |
v v
F(B) o------------------>o G(B)
F(B) o------------------>o G(B)
t(B)
</pre>
</pre>
