?? ok, some sort of conjecture here about "cartesian stable categorified bialgebra" ... ??? possibly (??? particularly if correct ?? ...) tying in with "dna version of n-cat" ??? .... ???? ....

??? set, span, bijection .... ??? stable categorified bimonoid ??

??? set, span, map .... ??? cartesian stable categorified bimonoid ??

??? set, span, span .... ??? bicartesian stable categorified bimonoid ??

.... ???? ....

?? cartesian not parsing for just plain stable monoidal abstract category; need (... ??? ... egger ... microcosm ... ?? ... "just what you need" ... ???? "generic" ???? .... ???? ... ???? ...) rather bistable bimonoidal ??? .... ???? ....

again, just a stupid conjecture at this point ... strongly doubted it at some points, but back to not really having any idea one way or the other at the moment ... ?? ...

?? "can't see span-maps if you only look at map-spans" .... ?????? ...... ????

?? [map-span]-maps as boring .... ???? ...

?? _can_ see span-spans if you only look at map-spans ??? ... ???? ... ???? [map-span]-spans as not "completely boring" ??? .... ???? though not as interesting as they can really get .... ????? ..... ????? ...... ?????? ....