Timeline for Is the category of profunctors $Prof(A,B)$ equivalent to $Prof(B,A)^{op}$?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 11, 2022 at 12:57 | comment | added | varkor | It's probably worth commenting that $\mathbf{Prof}(A, B) \simeq \mathbf{Prof}(B°, A°)$, so a similar formula is true, but you need to introduce opposites. | |
| May 29, 2017 at 5:40 | comment | added | მამუკა ჯიბლაძე | The question about in what sense are $\mathrm{Set}^A$ and $\mathrm{Set}^{A^{op}}$ dual to each other is very interesting. Lawvere has several deep considerations on that, built around the analogy with the duality between functions and distributions. | |
| May 28, 2017 at 21:31 | comment | added | SCappella | @მამუკაჯიბლაძე Thanks. I should have thought of that. | |
| May 28, 2017 at 20:19 | comment | added | მამუკა ჯიბლაძე | Take both $A$ and $B$, or only $A$, or only $B$ trivial. | |
| May 28, 2017 at 20:12 | history | asked | SCappella | CC BY-SA 3.0 |