I don't like (but maybe for a bad reason) the notation $F\vdash G$ for $F$ is left adjoint to $G$.
Any comment ?
|
1 | [made Community Wiki] | ||
|
|
||||
|
|
1 | [made Community Wiki] | ||
|
I don't like (but maybe for a bad reason) the notation $F\vdash G$ for $F$ is left adjoint to $G$. Any comment ? |
||||
