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
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 11, 2012 at 8:57 | comment | added | Buschi Sergio | I think that adding this proof on your thesis or article fill this lack. P.S. do you understand italian? I was looking for your Email (no found it), mine is [email protected] | |
| Nov 10, 2012 at 18:19 | comment | added | Jonathan Chiche | Thanks. I have not looked at the details, mainly because I was in fact not asking for a proof, but rather a reference. I knew that the classical proof that, say, arbitrary multiplication in a monoid is well-defined, could be adapted to show the coherence result here. The fact which I find disturbing is that there does not seem to be any published text containing both a rigorous statement and a rigorous proof. | |
| Nov 2, 2012 at 21:02 | history | edited | Buschi Sergio | CC BY-SA 3.0 |
grammar, improve the proof
|
| Nov 2, 2012 at 20:04 | history | answered | Buschi Sergio | CC BY-SA 3.0 |