text/ncat.tex
Wed, 22 Sep 2010 20:42:47 -0700 Kevin Walker making "no functors" excuses; other minor stuff
Tue, 21 Sep 2010 22:39:17 -0700 Kevin Walker misc
Tue, 21 Sep 2010 17:28:14 -0700 Scott Morrison remaining changes from tuesday afternoon
Tue, 21 Sep 2010 14:44:17 -0700 Scott Morrison deleting nn's
Mon, 20 Sep 2010 14:32:24 -0700 Kevin Walker minor: futzing with font size in 2 figs
Mon, 20 Sep 2010 10:24:17 -0700 Kevin Walker new def of mophisms between modules
Sun, 19 Sep 2010 23:15:21 -0700 Kevin Walker Automated merge with https://tqft.net/hg/blob/
Sun, 19 Sep 2010 23:14:41 -0700 Kevin Walker preparing for new def of morphisms of a-ing 1-cat modules
Wed, 15 Sep 2010 13:33:14 -0500 Scott Morrison numbering axioms and module axioms as 7.x
Thu, 02 Sep 2010 23:11:38 -0700 Kevin Walker proof of injectivity/colimit lemma
Wed, 01 Sep 2010 13:34:21 -0700 Kevin Walker futzing with figures (\begin{center|equation} to \centering)
Tue, 31 Aug 2010 21:09:31 -0700 Kevin Walker minor
Tue, 31 Aug 2010 11:18:26 -0700 Kevin Walker minor; resolving a few \nns
Thu, 26 Aug 2010 13:20:13 -0700 Kevin Walker misc
Wed, 18 Aug 2010 21:05:50 -0700 Kevin Walker fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
Fri, 30 Jul 2010 20:19:17 -0400 Kevin Walker misc
Fri, 30 Jul 2010 18:36:08 -0400 Kevin Walker sphere module n+1 mor stuff
Wed, 28 Jul 2010 12:53:16 -0700 Scott Morrison YxI sliced open diagram
Wed, 28 Jul 2010 12:16:27 -0700 Scott Morrison many small fixes in ncat.tex
Fri, 23 Jul 2010 13:52:30 -0700 Scott Morrison some modifications to blobdef
Thu, 22 Jul 2010 16:16:58 -0600 Kevin Walker dual module (non-)definition; other minor stuff
Thu, 22 Jul 2010 15:35:26 -0600 Kevin Walker redefine "permissible decomp", and other changes to ntcat.tex; should be read
Mon, 19 Jul 2010 15:56:09 -0600 Kevin Walker oops
Mon, 19 Jul 2010 15:53:31 -0600 Kevin Walker changing simplex terminology for hocolimit (no more "degree")
Mon, 19 Jul 2010 12:27:19 -0700 Scott Morrison filtration -> simplex, and another diagram
Sun, 18 Jul 2010 11:07:47 -0600 Kevin Walker done with a-inf section for now
Sun, 18 Jul 2010 08:07:50 -0600 Kevin Walker more a-inf section
Sat, 17 Jul 2010 20:57:46 -0600 Kevin Walker Automated merge with https://tqft.net/hg/blob/
Sat, 17 Jul 2010 20:57:35 -0600 Kevin Walker starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
Fri, 16 Jul 2010 17:18:02 -0600 Scott Morrison tikzing two diagrams
Wed, 14 Jul 2010 11:08:12 -0600 Kevin Walker Automated merge with https://tqft.net/hg/blob/
Wed, 14 Jul 2010 11:06:40 -0600 Kevin Walker mostly (entirely?) ncat revisions
Wed, 14 Jul 2010 11:06:20 -0600 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Wed, 14 Jul 2010 11:06:11 -0600 Scott Morrison revisions to \S 1-5
Tue, 13 Jul 2010 12:47:49 -0600 Kevin Walker ncat - minor
Sun, 11 Jul 2010 14:38:48 -0600 Kevin Walker search & replace: s/((sub?)section|appendix)\s+\\ref/\S\ref/
Sun, 11 Jul 2010 14:31:56 -0600 Kevin Walker ncat misc
Sat, 10 Jul 2010 12:30:09 -0600 Kevin Walker ncat.tex mostly module stuff
Thu, 08 Jul 2010 08:36:34 -0600 Kevin Walker ncat: module def
Wed, 07 Jul 2010 11:07:48 -0600 Kevin Walker more ncat (colimits)
Wed, 07 Jul 2010 10:17:30 -0600 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Wed, 07 Jul 2010 10:17:21 -0600 Scott Morrison minor
Wed, 07 Jul 2010 08:47:50 -0600 Kevin Walker a few more ncat revisions
Mon, 05 Jul 2010 07:47:23 -0600 Kevin Walker revisions of n-cat examples
Sun, 04 Jul 2010 23:32:48 -0600 Kevin Walker making quotation marks consistently "American style"
Sun, 04 Jul 2010 13:15:03 -0600 Kevin Walker more ncat section
Sun, 04 Jul 2010 11:56:23 -0600 Kevin Walker starting to revise ncat section
Sat, 03 Jul 2010 13:19:15 -0600 Kevin Walker starting to work on tqdftreview.tex
Wed, 30 Jun 2010 08:55:46 -0700 Kevin Walker minor
Sun, 27 Jun 2010 12:28:06 -0700 Scott Morrison a bunch of minor changes
Sat, 26 Jun 2010 17:22:53 -0700 Scott Morrison Making notation in the product theorem more consistent.
Sat, 26 Jun 2010 16:31:28 -0700 Scott Morrison Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Fri, 25 Jun 2010 09:48:24 -0700 Kevin Walker minor
Thu, 24 Jun 2010 14:21:51 -0400 Scott Morrison edits to sphere-modules stuff: some todos added
Wed, 23 Jun 2010 22:43:26 -0700 Kevin Walker figures for n+1-cat
Wed, 23 Jun 2010 18:37:25 -0700 Kevin Walker finished def of sphere module n+1-cat
Wed, 23 Jun 2010 09:41:03 -0700 Kevin Walker define compatible familty of non-degenerate IPs
Tue, 22 Jun 2010 22:19:16 -0700 Kevin Walker sphere modules (in progress)
Tue, 22 Jun 2010 18:56:51 -0700 Kevin Walker misc
Fri, 18 Jun 2010 21:17:39 -0700 Kevin Walker another tikz experiment
less more (0) -100 -60 tip