Wed, 23 Mar 2011 15:29:31 -0700 | Kevin Walker | added two more transverse symbols | changeset | files |
Sun, 20 Mar 2011 06:26:04 -0700 | Kevin Walker | small fix for def of bordism category definitions; perhaps more should be done | changeset | files |
Tue, 15 Mar 2011 17:22:44 -0700 | Kevin Walker | explain why we dont require gluing to be surjective | changeset | files |
Tue, 15 Mar 2011 17:11:47 -0700 | Kevin Walker | added remark that in the case of disjoint gluing the equalizer is also a fibered product | changeset | files |