except for the problems that are full
of lies.
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
(C,h)
of the adjunction.