?? relationship between topos of filteredly cocontinuous set-valued functors and categorified cocommutative coalgebra ?? ....

?? but ... idea that "cartesianness" doesn't parse unless both mult and comult are present .... ??? .....

?? opposite (?? ...) category of a categorified bi-/co-/algebra ?? .... ???? ...