so consider the free symmetric monoidal finitely cocomplete algebroid on one object x equipped with an inverse for its symmetric square (??or perhaps also with the braiding for the symmetric square being trivial... or something...) ? ...

??how might problematicness of internal hom of abelian algebroids (or something...) relate to attempt to develop nice doctrine incorporating tensor product and kernels and cokernels?? ....