As is usual, let's say an (_n_, _k_)-category is something with objects, morphisms, 2-morphisms, ..., _n_-morphisms, such that all _j_-morphisms for _j_ > _k_ are invertible, everything meant in the weak sense. We can also take _n_ = ∞ or _n_ = _k_ = ∞. In this terminology the weak ω-categories in the title question are (∞,∞)-categories. I think the only examples I know of weak ω-categories that are not (∞, _k_)-categories for some finite _k_ are the ∞-category of all ∞-categories and the ∞-category `Cob` whose _n_-morphisms are _n_-dimensional manifolds (with corners) thought of as cobordisms between some specified (_n_-1)-dimensional manifolds (with corners). (I saw Dominic Verity give a very nice talk about his construction of a PL-version of this as a weak complicial set.) Of course, `Cob` has many variants, and we could also look at constructions such as functor categories, coproducts, products, etc., starting from these. I'd be very interested in hearing about other examples of (∞,∞)-categories, even if they haven't really been constructed in the literature yet. Specially examples like `Cob` which are not internal to the theory of (∞,∞)-categories. EDIT: I think that Sam Gunningham is right and I forgot (again) that the difference between having duals and having inverses is supposed to fall of the edge of the world when you go all the way out to ∞, so that `Cob` is an ∞-groupoid (specifically, it should be the well-known space classifying whatever kind of cobordism you used to build `Cob`). This means that I actually don't know any examples of genuinely (∞,∞)-categories that come from outside higher category theory. EDIT 2: I somehow missed [this earlier question](http://mathoverflow.net/questions/73772/concrete-example-of-infty-categories). Maybe my question should be closed as a duplicate. EDIT 3: Jeremy Hahn has convinced me that Sam's comment is true or false depending on how you define the equivalences of (∞,∞)-categories, and that it is not clear whether you really want every (∞,∞)-category with all adjoints to be an ∞-groupoid.