Timeline for 2-morphisms for Bord(n)
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 27, 2018 at 8:09 | vote | accept | sani | ||
| Jul 27, 2018 at 3:43 | comment | added | Theo Johnson-Freyd | @A.Nietner Yes, any reasonable definition must provide some version of the idea that a bordism between manifolds with boundary is a "bordism relative to the boundary". There are various ways to do this. | |
| Jul 26, 2018 at 17:46 | comment | added | sani | Thanks a lot Theo! I thought of sth similar at some point...But then dropped it. Usually for a bordism the boundary is the disjoint union of the domain and the codomain (dom&cdom). In the example of End(I), however, the circle being the boundary is somewhat the disjoint union of I with itself except for I's dom and cdom (the two copies of I are glued together to form the circle). Am I right that this detail (of a modified definition of how the boundary corresponds to dom and cdom for bordisms with doms and cdoms with boundary) is sth that is hidden in the more formal layers of the definition? | |
| Jul 26, 2018 at 15:35 | history | answered | Theo Johnson-Freyd | CC BY-SA 4.0 |