Mercurial > hg > Members > kono > Proof > category

view category.pdf @ 416:e4a2544d468c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
if we add invserse, there no nothing part, it generates extra commutaivitiy in nat, which is no good so A [ g o f ] should be nothing in codomain Category
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 23 Mar 2016 22:47:32 +0900
parents 6626a7cd9129
children
line wrap: on
line source

(binary:application/pdf)