Timeline for Adjunctions with respect to profunctors
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 29, 2021 at 15:59 | comment | added | Ivan Di Liberti | Oh, you are absolutely right, that was an assumption. I just forgot about it. | |
| Oct 29, 2021 at 15:35 | comment | added | varkor | How do you ensure that $\mathsf{Ho}_\rho(\mathsf{C})$ is a category? Certainly it will be if $\mathsf P$ is a monad in $\mathsf{Prof}$: is it related to this fact? | |
| Oct 29, 2021 at 15:08 | history | edited | Ivan Di Liberti | CC BY-SA 4.0 |
added 255 characters in body
|
| Oct 29, 2021 at 10:12 | history | edited | Ivan Di Liberti | CC BY-SA 4.0 |
added 486 characters in body
|
| Oct 29, 2021 at 10:03 | history | answered | Ivan Di Liberti | CC BY-SA 4.0 |