| Fri, 06 May 2011 15:23:26 -0700 | Kevin Walker | added more motivation for pinched products | file | diff | annotate |
| Fri, 06 May 2011 15:00:46 -0700 | Kevin Walker | more on piched product union axiom | file | diff | annotate |
| Fri, 06 May 2011 14:56:13 -0700 | Kevin Walker | fixed statement of compatibility of product morphisms with decompositions (might still need some work) | file | diff | annotate |