Timeline for Powerful functors and adjoints
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 13 at 12:41 | comment | added | Naïm Favier | Are you just asking for the definition of composition in Mod? You can find it on the nLab page for Prof, which is another name for that category. | |
| Aug 12 at 10:00 | comment | added | Siya | Where he defines the category $\mathbf{Mod}$ with composition as being a coend formula. He uses this for the rest of the proof. | |
| Aug 10 at 12:34 | comment | added | varkor | Could you explain which part of the proof specifically you are having trouble understanding? I don't see any coend calculus, for instance, and Street gives a precise reference for the monadicity result he uses. | |
| Aug 8 at 21:28 | history | asked | Siya | CC BY-SA 4.0 |