Anindya wrote:
> \[ (\check{F})^\text{op} = \widehat{F^\text{op}} \]
Wow, that's cool! As you clearly realize, this reduces the study of conjoints to the study of companions together with the study of 'op' for both functors and profunctors!
I guess we also have
\[ (\widehat{F})^{\text{op}} = \check{F^\text{op}} .\]
This should follow from \\( \text{op} \circ \text{op} = 1 \\).
> \[ (\check{F})^\text{op} = \widehat{F^\text{op}} \]
Wow, that's cool! As you clearly realize, this reduces the study of conjoints to the study of companions together with the study of 'op' for both functors and profunctors!
I guess we also have
\[ (\widehat{F})^{\text{op}} = \check{F^\text{op}} .\]
This should follow from \\( \text{op} \circ \text{op} = 1 \\).
Version 2.1.8p2
