?? tensor product of actions of a semilattice ...

walking element ...

?? "family of pointed sets" ...

j+1 tensor k+1 ... ???? as j*k + 1 ??? ....

??? cartesian product of sets as non-cartesian wrt partial maps ??? .... then extend by coproducts .... ?????.....

?? tempted to also try to get sum of the sets involved here , but ... ??? ....

??? connected projectives .... ???? .....

??? ab gp objects ...