Timeline for Enriched cartesian closed categories
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 10, 2019 at 23:41 | history | bounty ended | Mike Shulman | ||
| Feb 10, 2019 at 23:41 | vote | accept | Mike Shulman | ||
| Feb 10, 2019 at 23:41 | comment | added | Mike Shulman | It seems that more generally, instead of $P$ acting directly on $J$ and extending to $[J^{\rm op},\rm Set]$ by convolution, we could let $P$ act directly on any locally presentable category through cocontinuous functors. Reid's answer is an instance of this generalization, for the even simpler choice of $P = \mathbf{2}$. Right? | |
| Feb 10, 2019 at 20:11 | comment | added | Karol Szumiło | I agree about the old answer, but it didn't occur to me at first and I guess it's too late to change it now. And yes, I believe that you are right about the action. | |
| Feb 10, 2019 at 16:35 | comment | added | Mike Shulman | FWIW, I think it would have been better to leave your old answer here (e.g. my previous comment only refers to the old answer, now it doesn't make much sense any more) and post a new answer with your updated construction. But the updated version is very nice! Am I right that the action of $V$ on $C$ is really just the same Day convolution formula applied to the action $P\times J\to J$ instead of a monoidal structure? | |
| Feb 8, 2019 at 14:07 | history | edited | Karol Szumiło | CC BY-SA 4.0 |
deleted 16 characters in body
|
| Feb 6, 2019 at 13:45 | history | edited | Karol Szumiło | CC BY-SA 4.0 |
edited body
|
| Feb 6, 2019 at 13:39 | history | edited | Karol Szumiło | CC BY-SA 4.0 |
deleted 1 character in body
|
| Feb 6, 2019 at 13:29 | history | edited | Karol Szumiło | CC BY-SA 4.0 |
added 2383 characters in body
|
| Feb 6, 2019 at 12:21 | comment | added | Mike Shulman | Very nice! I feel like I should have thought of that myself. | |
| Feb 6, 2019 at 9:08 | history | answered | Karol Szumiło | CC BY-SA 4.0 |