Timeline for category of non-welldefined linear maps
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 23, 2022 at 22:37 | comment | added | Mariano Suárez-Álvarez | Linear relations (under that name, although his are not necessarily total) are used in MacLane's book on homology to write down, for example, connecting maps in long exact sequences arising from short exact sequences of complexes. It allows him to avoid the phrase «let us check that the function $f$ is well-defined». | |
| Jun 16, 2020 at 8:10 | comment | added | Neil Strickland | I'd suggest "linear relations" as an alternative | |
| Jun 16, 2020 at 6:31 | vote | accept | HenrikRüping | ||
| Jun 16, 2020 at 6:31 | answer | added | HenrikRüping | timeline score: 1 | |
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Apr 9, 2020 at 12:23 | comment | added | Denis Nardin | I'll see if I can find the time to make it into an answer. But note that under my definition all correspondences are linear (each nonempty fiber over a point of $U$ is indeed an affine subspace parallel to the fiber over 0, etc.). I'd go with "total correspondences", perhaps | |
| Apr 9, 2020 at 12:20 | comment | added | HenrikRüping | Thank you. Do you want to post it as an answer ? Maybe the name 'total linear correspondence' makes sense? edit: the linearity contraints are already dealt with in your comment by taking a subspace of $U\oplus V$ and not an arbitrary subset. | |
| Apr 9, 2020 at 12:00 | comment | added | Denis Nardin | This seems to be a subcategory of the category of vector spaces and correspondences, where the correspondences are required to be defined on the whole source (a correspondence $U\to V$ is just a subspace of $U\oplus V$, your "not well-defined morphisms" embed by taking their graph). | |
| Apr 9, 2020 at 9:02 | history | asked | HenrikRüping | CC BY-SA 4.0 |