@jeanas and the examples that come to mind are really just strict monoidal 2-groupoids, arising from group objects in the 1-category of strict 2-groupoids! As far as large higher categories of interesting objects go, only bicategories, done in a very traditional way. And maaaaybe weak double categories (ie weak in one direction, strict in the other)