Timeline for Coherence theorem for symmetric lax monoidal functors
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 1, 2016 at 4:50 | answer | added | Mike Shulman | timeline score: 6 | |
| Jun 30, 2016 at 13:31 | comment | added | Todd Trimble | The rough idea of club is that if you understand (for certain categorical doctrines) the free structure on one element, then the free structure on more general categories can be gotten by a wreath product construction. There was a lot of work on this in the early 70's, in the "Australian school" headed by Max Kelly. | |
| Jun 30, 2016 at 13:26 | comment | added | Bruno Stonek | @ToddTrimble: thanks for the reference, I'm having a look. (It's a bit hard to read, though. I'd never heard of clubs). | |
| Jun 30, 2016 at 12:57 | comment | added | Todd Trimble | I don't have this to hand to properly verify this would answer your question, but have you looked at: Geoffrey Lewis, Coherence for a closed functor, LNM 281 (Springer, 1972) 148-195? | |
| Jun 30, 2016 at 12:38 | history | asked | Bruno Stonek | CC BY-SA 3.0 |