Timeline for How to triangulate a math reference?
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 13, 2013 at 12:16 | comment | added | Federico Poloni | Normally I get reasonable results (far from perfect, but also far from useless) from Google. One needs to use some tricks though: for instance: "sentence", -word, filetype:pdf. | |
| Mar 13, 2013 at 12:07 | answer | added | David White | timeline score: 8 | |
| Mar 13, 2013 at 8:36 | comment | added | Theo Johnson-Freyd | I think this is a great triple of questions. You might think about breaking it into three questions, with links between them, as they are part of a coherent conversation. | |
| Mar 13, 2013 at 4:36 | comment | added | Noam D. Elkies | So do you expect that ${\bf Prop}$ is a triangulated category? | |
| Mar 13, 2013 at 2:52 | vote | accept | David Spivak | ||
| Mar 13, 2013 at 2:52 | |||||
| Mar 13, 2013 at 2:46 | answer | added | Tom LaGatta | timeline score: 7 | |
| Mar 13, 2013 at 2:16 | comment | added | David Spivak | Oh boy, you're right -- this was off-base; no wonder I was having trouble both with proving it and with finding it proven in the literature :-P Thanks Todd. | |
| Mar 13, 2013 at 2:08 | answer | added | Alexandre Eremenko | timeline score: 0 | |
| Mar 13, 2013 at 1:41 | answer | added | Rodrigo A. Pérez | timeline score: 12 | |
| Mar 13, 2013 at 1:10 | comment | added | Todd Trimble | (sorry, I meant continuous functors $C \to B$ in the preceding sentence) but there is at most one continuous $1 \to B^C$, namely one which takes the object of $1$ to the terminal object of $B^C$ (if one exists). [There are some other issues here, such as the fact the if we really want to work with $Cat$ or this subcategory 1-categorically, then we should really be working with chosen limits.] If this is how you meant the claim, the problem could be in part that searches failed because the claim is false. | |
| Mar 13, 2013 at 1:06 | comment | added | Todd Trimble | Could you make this claim more precise? I'm not at all sure what it is you're claiming, but if you mean the category of small categories and functors that preserve all limits that exist in the domain category, then the claim doesn't look at all right to me: this isn't cartesian closed. For example, there is no doubt that the terminal object in $Cat$ is also terminal in this category. Now if $B^C$ is the putative exponential in this cartesian closed category, we should have that continuous functors $1 \to B^C$ correspond to continuous functors $B \to C$. But there is at most one continuous ... | |
| Mar 13, 2013 at 0:06 | history | asked | David Spivak | CC BY-SA 3.0 |