diagrams/ncat/zz2.pdf
author Kevin Walker <kevin@canyon23.net>
Thu, 02 Sep 2010 23:11:38 -0700
changeset 531 da9bf150bf3d
parent 380 6876295aec26
child 828 762ffd2246e7
permissions -rw-r--r--
proof of injectivity/colimit lemma

(binary:application/pdf)