Timeline for Where is it rigorously stated and proved that the definition of lax functor implies that the generalized cocycle condition holds for an arbitrary number of composable $1$-cells?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 2, 2012 at 20:04 | answer | added | Buschi Sergio | timeline score: 0 | |
| Feb 2, 2012 at 10:42 | answer | added | Nacho Lopez | timeline score: 2 | |
| Jan 9, 2012 at 16:33 | comment | added | Tom Leinster | A 2-category-theory tag might be useful. Then again, if people don't think that 2-category theory is part of higher category theory, then I would say that they have an odd view of what higher category theory is. | |
| Jan 9, 2012 at 8:45 | comment | added | Jonathan Chiche | It would be useful for me if a new tag "2-category-theory" (where specific questions arise which belong neither to "higher algebra" nor "category theory" as most people understand these terms) was created. I think some other people may use it sometimes too. But I have not been able to find rules to abide by when creating a new tag. | |
| Jan 9, 2012 at 8:39 | history | edited | Jonathan Chiche | CC BY-SA 3.0 |
Added a paragraph at the end.
|
| Jan 7, 2012 at 9:12 | history | edited | Alain Valette | CC BY-SA 3.0 |
Fixed the TeX
|
| Jan 7, 2012 at 8:32 | history | asked | Jonathan Chiche | CC BY-SA 3.0 |