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
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 3, 2012 at 7:44 | comment | added | Jonathan Chiche | Ah, thanks! I'm abroad for a few weeks and cannot look it up now. I'll check that when I'm back. Besides, before seeing your answer, I thought I would answer my question myself because Bénabou told me last month that this coherence result was a special case of a quite general result in his thesis, which should have been published but, for some reason unknown to him, was not. I'll write about that as soon as I find the proper reference. | |
| Feb 2, 2012 at 10:42 | history | answered | Nacho Lopez | CC BY-SA 3.0 |