diagrams/ncat/zz1.pdf
author Kevin Walker <kevin@canyon23.net>
Thu, 02 Sep 2010 23:11:38 -0700
changeset 531 da9bf150bf3d
parent 375 faac9ca8f092
child 928 54503d88c969
permissions -rw-r--r--
proof of injectivity/colimit lemma

(binary:application/pdf)