MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

I don't like (but maybe for a bad reason) the notation $F\vdash G$ for $F$ is left adjoint to $G$.