Timeline for The skew monoidal structure induced by a functor
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 23, 2018 at 15:06 | comment | added | fosco | Hi! Your fibrational POV is very elegant, it will for sure appear in what I'm writing and properly acknowledged, but Giulio's proof must win as the simplest and clearest :-) | |
| Jul 22, 2018 at 23:05 | comment | added | fosco | Oh, that's precisely the kind of suggestion I was hoping for! I'll let you know if it works asap | |
| Jul 22, 2018 at 22:43 | history | answered | Noam Zeilberger | CC BY-SA 4.0 |