?? relationship between "locally presentable" and "total" ?? ...

?? "total" here as ... ??having left (?) adjoint for yoneda embedding ?? ... ???? .....

???relationship between "complementarity" phenomena for (maybe?) both ?? ... category and its opposite can't both be nice ... ???unless all diagrams are commutative ... ???? ..... .... ?? ...

?? "total" vs "partial" ... ??? ...

?? did todd say that locally presentable should imply total? ?? whatever it was, it sounded plausible at the time ...