Sat, 15 May 2010 16:00:31 -0700 | Kevin Walker | fix an example | file | diff | annotate |
Sat, 15 May 2010 10:46:37 -0500 | Scott Morrison | minor | file | diff | annotate |
Thu, 13 May 2010 12:07:02 -0500 | Scott Morrison | minor changes, fixes to some diagrams | file | diff | annotate |
Wed, 12 May 2010 18:26:20 -0500 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | file | diff | annotate |
Wed, 12 May 2010 18:25:37 -0500 | Scott Morrison | minor edits at the beginning of ncat | file | diff | annotate |
Wed, 12 May 2010 15:57:20 -0700 | Kevin Walker | done for the moment with module morphism stuff | file | diff | annotate |
Mon, 10 May 2010 19:34:59 -0700 | Kevin Walker | finished def of module morphisms; still need to define (yet another) 'evaluation' map | file | diff | annotate |