Timeline for On the coherence theorem for bicategories
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Aug 16, 2017 at 11:20 | history | suggested | Peter Heinig | CC BY-SA 3.0 |
The OP mixed up 'left' and 'right' in the text below the adjoint functors: $2\text{-Cat}$ is the usual notation for strict 2-categories, so it is the *rightgoing* functor which is the strictification. I thought commenting/pinging because of this oversight too obtrusive and corrected it myself.
|
| Aug 16, 2017 at 10:36 | review | Suggested edits | |||
| S Aug 16, 2017 at 11:20 | |||||
| Mar 3, 2015 at 13:56 | vote | accept | Espen Nielsen | ||
| Mar 2, 2015 at 14:06 | comment | added | Tom Leinster | If you want a quick overview of the situation, you could try the slides here, especially pages 8 and 14: maths.ed.ac.uk/~tl/toronto | |
| Mar 2, 2015 at 14:02 | answer | added | Todd Trimble | timeline score: 13 | |
| Mar 2, 2015 at 13:19 | history | asked | Espen Nielsen | CC BY-SA 3.0 |