| 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 |
| Fri, 06 May 2011 14:22:35 -0700 | Kevin Walker | added to examples of unions of pinched products (fig) | file | diff | annotate |