Timeline for Linear algebra in terms of abstract nonsense?
Current License: CC BY-SA 3.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 8, 2021 at 11:17 | comment | added | Arrow | Dear @Paul, to me it is a funny term of endearment, but perhaps I should indeed try to let go of it... | |
| Aug 8, 2021 at 11:15 | comment | added | Paul Taylor | Maybe it's time to retire the phrase "abstract nonsense"? | |
| Aug 7, 2021 at 21:01 | answer | added | Alp Uzman | timeline score: 3 | |
| Sep 23, 2016 at 13:55 | answer | added | HeinrichD | timeline score: 11 | |
| Jul 9, 2016 at 7:04 | vote | accept | Arrow | ||
| Jul 3, 2016 at 8:42 | comment | added | Dag Oskar Madsen | Related: mathoverflow.net/questions/118246/… | |
| Jul 2, 2016 at 23:51 | answer | added | Kaya Arro | timeline score: 20 | |
| Jul 2, 2016 at 19:05 | answer | added | Qiaochu Yuan | timeline score: 37 | |
| Jul 2, 2016 at 13:50 | comment | added | Arrow | @lisyarus that sounds good except I don't know what "over-a-field-like" would be except maybe by working in the dual setting and looking at terminal spectrums... | |
| Jul 2, 2016 at 13:49 | history | edited | Arrow | CC BY-SA 3.0 |
added 396 characters in body
|
| Jul 2, 2016 at 13:39 | comment | added | lisyarus | Probably, the Freyd-Mitchell embedding theorem can be of some help? Maybe take an abelian category that has all finite limits and colimits and somehow restrict it to be "over-a-field-like". If we succeed in this, literally all facts concerning vector spaces will become category-theoretic. | |
| Jul 2, 2016 at 13:37 | comment | added | KConrad | It gives a sense in which finite-dimensional vector spaces are "naturally isomorphic" to their double duals (this example was in Eilenberg and Mac Lane's first paper on category theory) and it clears up what certain constructions like tensor products or exterior powers are all about by making them solutions to a suitable universal mapping problem. | |
| Jul 2, 2016 at 13:36 | comment | added | Todd Trimble | The first that comes to my mind is biproducts, followed by the other abelian category axioms. Experience shows those are some pretty powerful facts. | |
| Jul 2, 2016 at 13:29 | history | asked | Arrow | CC BY-SA 3.0 |