Fri, 06 May 2011 15:00:46 -0700 | Kevin Walker | more on piched product union axiom | changeset | files |
Fri, 06 May 2011 14:56:13 -0700 | Kevin Walker | fixed statement of compatibility of product morphisms with decompositions (might still need some work) | changeset | files |
Fri, 06 May 2011 14:22:35 -0700 | Kevin Walker | added to examples of unions of pinched products (fig) | changeset | files |