?? but ... ?? _left_ adjoint of cartesian product is simply diagonal ....... ????? .... ??? .... ???? .....

??? funny interrelationship among .... ?? site diagonal, presheaf topos diagonal, and presheaf topos codiagonal ..... ???? ....

?? "essentialness" of site diagonal as ... ?? presheaf topos diagonal, almost sort of ?? ... ???? .....

?? bimonoid compatibility with diagonal functor of cat c as automatic wrt tensor product = cartesian product .... ??? non-automatic and very different (??? seemingly maybe "opposite" sometimes ???? ..... ??? .... "fourier duality" .... ????) wrt tensor product = "tensor product" ...... ???? ....

??? level slips ... ?? ....

?? decategorified analog ??? ..... ????? ......