Timeline for Terminology in category theory
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Jan 16, 2012 at 7:50 | vote | accept | Andrew Stacey | ||
| Nov 23, 2009 at 22:38 | comment | added | Urs Schreiber | Sorry, Andrew, not sure what happned, but I am sure that on a previous question of your along these lines, I dropped a comment that this is all discussed on the nLab. But now I can't find that comment of mine anymore, either. In any case: we have clear evidence that some kind sould should merge material in the nLab entries on metric spaces and on Cauchy completion to something more easily findable. If you are getting interested in that now, you'd be the ideal person for that! :-) | |
| Nov 23, 2009 at 16:17 | comment | added | Mikael Vejdemo-Johansson | One point of connection between the exactness terminology in homological algebra and in diff equations is the recognition of the generalized Stokes theorem to really be about coclasses in de Rham cohomology - with the theorem only applying to exact closed forms. Thus cohomology is about finding the ways that exactness of closed forms can break down - which gives an origin for the homological use of exactness. | |
| Nov 23, 2009 at 14:41 | comment | added | Andrew Stacey | I was about to ask for a reference for the "Cauchy completeness" when I found one: ncatlab.org/nlab/show/Cauchy+complete+category but I wouldn't have known what to search for without this post. Thanks! | |
| Nov 23, 2009 at 13:34 | history | answered | Tom Leinster | CC BY-SA 2.5 |