Timeline for Categorical Invariants
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 21, 2021 at 20:18 | answer | added | Jason Corvinus | timeline score: 1 | |
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Jun 29, 2016 at 13:43 | vote | accept | Daniel Miller | ||
| May 7, 2011 at 6:18 | comment | added | Tim Porter | It is not clear to me what you actually want. You say 'it would be nice if there were some kind of categorical invariant capable of distinguishing them'. Are you asking for categorical invariants that distinguish amongst these categories or between these categories and others? As some of the structures you mention are sort of 'algebraic' there are obstruction theoretic methods to give invariants that the 'obstruction' to a given category having a given structure. Is that what you are looking for? | |
| May 6, 2011 at 20:56 | comment | added | Mariano Suárez-Álvarez | Indeed. I don't see in what way cartesian closedness helps in answering that question. | |
| May 6, 2011 at 20:49 | comment | added | Todd Trimble | With regard to the answer that you accepted in the earlier question (and with all due respect to the answerer), I don't think that answer quite hit the mark. (I won't say that it was 'wrong', just that much more perspicuous answers were given). Thus, I think that the "nice" reason you cite above isn't exactly to the point. | |
| May 6, 2011 at 20:38 | answer | added | Martin Brandenburg | timeline score: 6 | |
| May 6, 2011 at 20:17 | history | asked | Daniel Miller | CC BY-SA 3.0 |