Timeline for Weak algebraic structures
Current License: CC BY-SA 3.0
9 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/
|
|
| Dec 22, 2011 at 18:14 | vote | accept | Giorgio Mossa | ||
| Dec 21, 2011 at 13:03 | comment | added | Joel David Hamkins | Noah, why not post your answer as an answer? The site works best that way. | |
| Dec 21, 2011 at 12:09 | answer | added | Ronnie Brown | timeline score: 2 | |
| Dec 21, 2011 at 10:53 | comment | added | Vladimir Dotsenko | I agree with Fernando, this is way too vague to be considered a real question. | |
| Dec 20, 2011 at 20:59 | comment | added | Fernando Muro | I don't see the point to this kind of question. Actually, I don't think this is a question at all. | |
| Dec 20, 2011 at 18:40 | comment | added | Giorgio Mossa | @NoahSnyder This arise a problem: what does it mean strictify? We know of course that every bicategory is biequivalent to a strict one, but we also know that this does not hold for higher categories. So the point is what does strictify means and how do you strictify in higher dimension? | |
| Dec 20, 2011 at 16:23 | comment | added | Noah Snyder | Almost everything you can think of is weak, and you have to do work to make something not weak. Tensor product of vector spaces? Weak! Composition of homotopies? Weak! It's just that there's often a contractible space of choices, so you can stricitify with no harm. | |
| Dec 20, 2011 at 15:50 | history | asked | Giorgio Mossa | CC BY-SA 3.0 |