except for the problems that are full
Significant progress on understanding topos.
Beck's theorem is neat, but I can't quite
force L -| K. It seems to require
Ge = e h where e is the transpose
(C,h) (C,h) (C,h)
of e , the thing that should be the unit
of the adjunction.